From 748d716efb2f2f75946c8386e441ce1789806a39 Mon Sep 17 00:00:00 2001
From: Enrico Tassi
Date: Wed, 22 May 2019 13:43:08 +0200
Subject: htmldoc regenerated
---
docs/htmldoc/mathcomp.field.all_field.html | 1 -
1 file changed, 1 deletion(-)
(limited to 'docs/htmldoc/mathcomp.field.all_field.html')
diff --git a/docs/htmldoc/mathcomp.field.all_field.html b/docs/htmldoc/mathcomp.field.all_field.html
index 5ac322c..e20f298 100644
--- a/docs/htmldoc/mathcomp.field.all_field.html
+++ b/docs/htmldoc/mathcomp.field.all_field.html
@@ -23,7 +23,6 @@
Require Export algebraics_fundamentals.
Require Export algnum.
Require Export closed_field.
-Require Export countalg.
Require Export cyclotomic.
Require Export falgebra.
Require Export fieldext.
--
cgit v1.2.3