Remove doc/bib/index.html

gap-system · Aug 27, 2024 · 93613d7 · 93613d7
1 parent 92907dc
commit 93613d7
Showing 1 changed file with 0 additions and 5 deletions.
diff --git a/doc/bib/index.html b/doc/bib/index.html