 Julien Janvier
|
de3b14cf69
git: add aliases for git switch and restore (#8089)
|
5 years ago |
|
Adriaan Knapen
|
6cb98eda15
git: add missing grev alias to README (#7984)
|
5 years ago |
|
Marc Cornellà
|
4ad4a81657
git: clean up plugin file and delete current_repository function
|
5 years ago |
|
Marc Cornellà
|
f8d5fdce3a
git: move documentation from wiki to README
|
5 years ago |
|
ncanceill
|
5b75cc7880
Many updates to git plugin (see #2790)
|
11 years ago |
|
Gaetan Semet
|
46f0d8dba9
Improvement in the git plugin
|
11 years ago |
