Do not allow stamp or $(VERSION_FILE) to succeed without gitcrement
[armadillo.git] / .gitignore
1 /.gitcrement
2 /armadillo
3 /frontend/armadillo.js
4 /frontend/version.js.proto