bump BibtexQuery version and delete corresponding files

leanprover · Jul 7, 2024 · 4770992 · 4770992
1 parent 5c40c1c
commit 4770992
Show file tree

Hide file tree

Showing 3 changed files with 1 addition and 395 deletions.
diff --git a/DocGen4/Output/Bibtex/Name.lean b/DocGen4/Output/Bibtex/Name.lean
diff --git a/DocGen4/Output/Bibtex/TexDiacritics.lean b/DocGen4/Output/Bibtex/TexDiacritics.lean