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.ssreflect.ssrfun.html | 35 -----------------------------
1 file changed, 35 deletions(-)
delete mode 100644 docs/htmldoc/mathcomp.ssreflect.ssrfun.html
(limited to 'docs/htmldoc/mathcomp.ssreflect.ssrfun.html')
diff --git a/docs/htmldoc/mathcomp.ssreflect.ssrfun.html b/docs/htmldoc/mathcomp.ssreflect.ssrfun.html
deleted file mode 100644
index 2597c8e..0000000
--- a/docs/htmldoc/mathcomp.ssreflect.ssrfun.html
+++ /dev/null
@@ -1,35 +0,0 @@
-
-
-
-
-
-mathcomp.ssreflect.ssrfun
-
-
-
-
-
-
-
-
-
-
-
Library mathcomp.ssreflect.ssrfun
-
-
-
-
-
-
-