As-gui Sources / file diff

     1.1 --- a/devtool.conf	Fri Dec 05 23:16:09 2008 +0100
     1.2 +++ b/devtool.conf	Sun Dec 14 12:41:48 2008 +0100
     1.3 @@ -47,6 +47,7 @@
     1.4      make distclean >/dev/null 2>&1
     1.5      echo "+++ fixing"
     1.6      ./shtool fixperm -v .
     1.7 +    echo "Please find . -exec grep myusername {}"
     1.8      echo "+++ rolling"
     1.9      V=`./shtool version -l c -d short as_version.cpp`
    1.10      ./shtool tarball -o as-gui-${V}.tar.gz -d as-gui-${V} \