From 6b59540a2460633df4e3d8347cb4dfe2fb3a3afb Mon Sep 17 00:00:00 2001 From: Cyril Cohen Date: Wed, 16 Oct 2019 11:26:43 +0200 Subject: removing everything but index which redirects to the new page --- docs/htmldoc/mathcomp.all.all.html | 38 -------------------------------------- 1 file changed, 38 deletions(-) delete mode 100644 docs/htmldoc/mathcomp.all.all.html (limited to 'docs/htmldoc/mathcomp.all.all.html') diff --git a/docs/htmldoc/mathcomp.all.all.html b/docs/htmldoc/mathcomp.all.all.html deleted file mode 100644 index 79f783e..0000000 --- a/docs/htmldoc/mathcomp.all.all.html +++ /dev/null @@ -1,38 +0,0 @@ - - - - - -mathcomp.all.all - - - - -
- - - -
- -

Library mathcomp.all.all

- -
-Require Export mathcomp.ssreflect.all_ssreflect.
-Require Export mathcomp.algebra.all_algebra.
-Require Export mathcomp.field.all_field.
-Require Export mathcomp.character.all_character.
-Require Export mathcomp.fingroup.all_fingroup.
-Require Export mathcomp.solvable.all_solvable.
-
-
- - - -
- - - \ No newline at end of file -- cgit v1.2.3