Closed Antoine-Zimmermann closed 3 months ago
Replaced the old JS script for BibTeX syntax highlighting with the new one.
Replaced the old JS script for BibTeX syntax highlighting with the new one.