Get `make dist` working with `git update-index --assume-unchanged`
[armadillo.git] / .gitignore
1 /.gitcrement
2 /armadillo
3 /frontend/armadillo.js
4 /frontend/version.js.proto