diff options
| author | Giuseppe Bilotta <giuseppe.bilotta@gmail.com> | 2008-04-10 18:59:54 +0200 |
|---|---|---|
| committer | Giuseppe Bilotta <giuseppe.bilotta@gmail.com> | 2008-04-10 18:59:54 +0200 |
| commit | 36f349f3f005ab105c7e665dfee00b9b7e8d6939 (patch) | |
| tree | a7ae4c56c417cba4d2277f85fc75f2b84032a6fe /Usage_en.txt | |
| parent | 173c64800b2bf9b7a36c83eeadd74d974cb7ec15 (diff) | |
rbot: don't fail in git checkout if git can't be run
Diffstat (limited to 'Usage_en.txt')
0 files changed, 0 insertions, 0 deletions