summaryrefslogtreecommitdiffstats
path: root/INSTALL
diff options
context:
space:
mode:
Diffstat (limited to 'INSTALL')
-rw-r--r--INSTALL1
1 files changed, 1 insertions, 0 deletions
diff --git a/INSTALL b/INSTALL
index 2a8bb65b..784f1655 100644
--- a/INSTALL
+++ b/INSTALL
@@ -115,3 +115,4 @@ Currently only the configuration is backed up, but neither the jenkins results n
I've cloned these two git repos on my desktop and manually run `git pull`. This is certainly not ideal but good enough to re-setup the system anytime, which is something.
+// vim: set filetype=asciidoc: