diff-no-index: DWIM "diff D F" into "diff D/F F"

diff --git a/GIT-VERSION-GEN b/GIT-VERSION-GEN
index 0986062473fa3a4948db06bf8a284f574649cf6f..38c62140a1b58c7dae7990cd88f3af3033209533 100755 (executable)
--- a/GIT-VERSION-GEN
+++ b/GIT-VERSION-GEN
@@ -1,7 +1,7 @@
 #!/bin/sh
 
 GVF=GIT-VERSION-FILE
-DEF_VER=v2.0.1
+DEF_VER=v2.0.5
 
 LF='
 '