| commit | 03e3c69d4dcc83c054af52fa673f9c301beb030d | |
| author | Johannes Schindelin <johannes.schindelin@gmx.de> | |
| Mon, 18 May 2009 12:51:44 +0000 (18 14:51 +0200) | ||
| committer | Johannes Schindelin <johannes.schindelin@gmx.de> | |
| Mon, 18 May 2009 13:12:02 +0000 (18 15:12 +0200) | ||
| tree | 4e1c0ed07c38901b4bac92f45c51c5da77d97c6c | treesnapshot (tar.gz zip) |
| parent | 7428553c722a6577dcd4a30709b42bc05f9a0a5e | commitdiff |
/share/WinGit/release.sh: clone documentation instead of complaining
When the documentation is not cloned yet, rather than annoying the user
with an error message, just clone it.
Signed-off-by: Johannes Schindelin <johannes.schindelin@gmx.de>
When the documentation is not cloned yet, rather than annoying the user
with an error message, just clone it.
Signed-off-by: Johannes Schindelin <johannes.schindelin@gmx.de>
| share/WinGit/copy-files.sh | diffblobblamehistory |