1 files changed, 4 insertions, 0 deletions
diff --git a/THANKS b/THANKS
index 7d2ef836a..290e8c412 100644
--- a/THANKS
+++ b/THANKS
@@ -490,3 +490,7 @@ Wolfram Kleff                       kleff@cs.uni-bonn.de
 Won-kyu Park                        wkpark@chem.skku.ac.kr
 Yann Dirson                         dirson@debian.org
 Zvi Har'El                          rl@math.technion.ac.il
+
+;; Local Variables:
+;; coding: utf-8
+;; End: