Makefile: do not depend copy_version_source on $(VERSION_FILE).
[armadillo.git] / .gitignore
1 /.gitcrement
2 /armadillo
3 /frontend/armadillo.js
4 /frontend/version.js.proto