From 532de9b68384a114c6534a0736ed024c900447f9 Mon Sep 17 00:00:00 2001
From: Cyril Cohen
Date: Fri, 17 Jul 2015 18:03:31 +0200
Subject: Updating files + reorganizing everything

---
 mathcomp/character/Make | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'mathcomp/character/Make')

diff --git a/mathcomp/character/Make b/mathcomp/character/Make
index 646641d..6d1f18c 100644
--- a/mathcomp/character/Make
+++ b/mathcomp/character/Make
@@ -1,4 +1,4 @@
-all.v
+all_character.v
 character.v
 classfun.v
 finfield.v
-- 
cgit v1.2.3