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: