Test of git update-index --assume-unchanged.

diff --git a/frontend/armadillo.js b/frontend/armadillo.js
index 160902839d64f79a81ccc6298dc0956f0bf66c73..cb1691d9844d2195c0710e3637a223fee072dc8e 100644 (file)
--- a/frontend/armadillo.js
+++ b/frontend/armadillo.js
@@ -1 +1,2 @@
 /* I will be replaced on the next `make dist` with compiled JavaScript. */
+// This is a test.