Don't push an applet twice
[gregoa/zavai.git] / m4 / .gitignore