Makefile: dest - Commit frontend/armadillo.js as well as version.js
[armadillo.git] / frontend / armadillo.js
1 /* I will be replaced on the next `make dist` with compiled JavaScript. */