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.fingroup.all_fingroup.html | 42 ------------------------ 1 file changed, 42 deletions(-) delete mode 100644 docs/htmldoc/mathcomp.fingroup.all_fingroup.html (limited to 'docs/htmldoc/mathcomp.fingroup.all_fingroup.html') diff --git a/docs/htmldoc/mathcomp.fingroup.all_fingroup.html b/docs/htmldoc/mathcomp.fingroup.all_fingroup.html deleted file mode 100644 index d289f97..0000000 --- a/docs/htmldoc/mathcomp.fingroup.all_fingroup.html +++ /dev/null @@ -1,42 +0,0 @@ - - - - - -mathcomp.fingroup.all_fingroup - - - - -

- - - -

- -

Library mathcomp.fingroup.all_fingroup

- -

-Require Export action.
-Require Export automorphism.
-Require Export fingroup.
-Require Export gproduct.
-Require Export morphism.
-Require Export perm.
-Require Export presentation.
-Require Export quotient.
- -
-

- - - -

- - - \ No newline at end of file -- cgit v1.2.3