Marc Cornellà
|
4ad4a81657
|
git: clean up plugin file and delete current_repository function
Closes #6329
|
2019-05-21 11:04:01 +02:00 |
|
Marc Cornellà
|
f8d5fdce3a
|
git: move documentation from wiki to README
|
2019-05-21 11:04:01 +02:00 |
|
ncanceill
|
5b75cc7880
|
Many updates to git plugin (see #2790)
|
2015-05-08 16:00:22 +02:00 |
|
Gaetan Semet
|
46f0d8dba9
|
Improvement in the git plugin
Signed-off-by: Gaetan Semet <gaetan@xeberon.net>
|
2013-06-05 15:16:51 +02:00 |
|