Merge branch 'gp/maint-diffdoc'

diff --git a/git-lost-found.sh b/git-lost-found.sh
index 58570dff137adfdeb72ebf3f088af7379eded522..c0b00e0fd143ab9d96933f2d39baa94e7e50e0ef 100755 (executable)
--- a/git-lost-found.sh
+++ b/git-lost-found.sh
@@ -17,10 +17,10 @@ while read dangling type sha1
 do
        case "$dangling" in
        dangling)
-               if git-rev-parse --verify "$sha1^0" >/dev/null 2>/dev/null
+               if git rev-parse --verify "$sha1^0" >/dev/null 2>/dev/null
                then
                        dir="$laf/commit"
-                       git-show-branch "$sha1"
+                       git show-branch "$sha1"
                else
                        dir="$laf/other"
                fi