3 files changed, 3 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:
diff --git a/README b/README
index a4881347..1edde94a 100644
--- a/README
+++ b/README
@@ -136,3 +136,4 @@ TODO: Currently as easy: svn/git using test-scripts need to learn checkout out -
 
 * See link:http://anonscm.debian.org/gitweb/?p=users/holger/jenkins.debian.net.git;a=blob;f=LICENSE[LICENSE].
 
+// vim: set filetype=asciidoc:
diff --git a/TODO b/TODO
index cbda1c60..d27f2db7 100644
--- a/TODO
+++ b/TODO
@@ -182,3 +182,4 @@ Martin
 <h01ger> http://coinst.irill.org/
 ----
 
+// vim: set filetype=asciidoc: