From c7ddacdfc43ba25c9fbd9505b3960047c13596d0 Mon Sep 17 00:00:00 2001 From: Cyril Cohen Date: Tue, 24 Mar 2015 12:23:33 +0100 Subject: metadata for solvable and field --- mathcomp/solvable/INSTALL | 1 + 1 file changed, 1 insertion(+) create mode 120000 mathcomp/solvable/INSTALL (limited to 'mathcomp/solvable/INSTALL') diff --git a/mathcomp/solvable/INSTALL b/mathcomp/solvable/INSTALL new file mode 120000 index 0000000..6aa7ec5 --- /dev/null +++ b/mathcomp/solvable/INSTALL @@ -0,0 +1 @@ +../../etc/INSTALL \ No newline at end of file -- cgit v1.2.3