From 086f066180dbb9c2ab81f2f77601a7568c305328 Mon Sep 17 00:00:00 2001
From: Cyril Cohen
Date: Mon, 30 Mar 2015 10:11:02 +0200
Subject: character packaged

---
 mathcomp/character/Make | 11 +++++++++++
 1 file changed, 11 insertions(+)
 create mode 100644 mathcomp/character/Make

(limited to 'mathcomp/character/Make')

diff --git a/mathcomp/character/Make b/mathcomp/character/Make
new file mode 100644
index 0000000..646641d
--- /dev/null
+++ b/mathcomp/character/Make
@@ -0,0 +1,11 @@
+all.v
+character.v
+classfun.v
+finfield.v
+inertia.v
+integral_char.v
+mxabelem.v
+mxrepresentation.v
+vcharacter.v
+
+-R . mathcomp.character
-- 
cgit v1.2.3