./all: add clean/smudge filter "mapclean"

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