doc: remove empty xml files

semigroups · Jun 25, 2023 · ae1cd2f · ae1cd2f
1 parent 7c0bb98
commit ae1cd2f
Show file tree

Hide file tree

Showing 5 changed files with 0 additions and 0 deletions.
diff --git a/doc/acting.xml b/doc/acting.xml
diff --git a/doc/grac.xml b/doc/grac.xml
diff --git a/doc/gren.xml b/doc/gren.xml
diff --git a/doc/grpperm.xml b/doc/grpperm.xml
diff --git a/doc/semirms.xml b/doc/semirms.xml