be more verbose

diff --git a/all b/all
index d5c57c5275d6abf93debda5ccc264f418ab7f931..c56b1c8fc055e183024d8be304777f89484ab707 100755 (executable)
--- a/all
+++ b/all
@@ -312,8 +312,8 @@ fix_git_config()
        if [ -z "`git config push.default || true`" ]; then
                verbose git config push.default current # or is tracking better?
        fi
-       git config filter.mapclean.clean "grep ^[^/]"
-       git config filter.mapclean.smudge "cat"
+       verbose git config filter.mapclean.clean "grep ^[^/]"
+       verbose git config filter.mapclean.smudge "cat"
 }
 
 mkzip()