From af84e080ff674a3d5cf2cf88874ddb6ebaf38ecf Mon Sep 17 00:00:00 2001
From: Pierre Letouzey
Date: Tue, 9 Dec 2014 12:48:32 +0100
Subject: Switch the few remaining iso-latin-1 files to utf8

---
 tools/gallina.el | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'tools/gallina.el')

diff --git a/tools/gallina.el b/tools/gallina.el
index 7af2d765fa..cbc13118a6 100644
--- a/tools/gallina.el
+++ b/tools/gallina.el
@@ -1,7 +1,7 @@
 ;; gallina.el --- Coq mode editing commands for Emacs
 ;;
 ;; Jean-Christophe Filliatre, march 1995
-;; Honteusement pompé de caml.el, Xavier Leroy, july 1993.
+;; Shamelessly copied from caml.el, Xavier Leroy, july 1993.
 ;;
 ;; modified by Marco Maggesi <maggesi@math.unifi.it> for gallina-inferior
 
-- 
cgit v1.2.3