84b41be1837664ecda761ac0d4386ddd63f2a600 galt Tue Nov 6 11:56:58 2012 -0800 adding gitu to tools diff --git src/utils/gitTools/gitu src/utils/gitTools/gitu new file mode 100755 index 0000000..5f322c0 --- /dev/null +++ src/utils/gitTools/gitu @@ -0,0 +1,7 @@ +#!/bin/tcsh + +if ("$1" == "0") then + git ls-files -o --exclude-standard | grep -v '/' +else + git ls-files -o --exclude-standard +endif