shorter nightly build revision names

2026-09-23 09:53:15 +00:00 · 2014-05-18 13:14:16 +02:00
parent 63cf7e9792
commit bb624ef5a1
4 changed files with 20 additions and 3 deletions
@@ -20,4 +20,5 @@
 /coverage.ec
 /libsrc/jsyntaxpane/jsyntaxpane/src/target/
 hs_err_pid*.log
-*.~*
+*.~*
+/revision.txt