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

---
 plugins/cc/README | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'plugins/cc/README')

diff --git a/plugins/cc/README b/plugins/cc/README
index 073b140eae..c616b5daab 100644
--- a/plugins/cc/README
+++ b/plugins/cc/README
@@ -3,7 +3,7 @@ cctac: congruence-closure for coq
 
 author: Pierre Corbineau, 
 	Stage de DEA au LSV, ENS Cachan
-	Thèse au LRI, Université Paris Sud XI 
+	Thèse au LRI, Université Paris Sud XI 
 
 Files :
 
-- 
cgit v1.2.3