.

diff --git a/THANKS b/THANKS
index 7d2ef836a03552709ae495264a3374f83959c4dd..290e8c4120d84db7c6c10aa9c7592ed226f031ba 100644 (file)
--- 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: