latex-tips-tricks merge requests
https://gitlab.rts.mpi-sws.org/eva/latex-tips-tricks/-/merge_requests
2020-09-10T11:09:57Z
https://gitlab.rts.mpi-sws.org/eva/latex-tips-tricks/-/merge_requests/1
bibtex cleanup
2020-09-10T11:09:57Z
Anastasia
bibtex cleanup
small script to edit Bibtex files
small script to edit Bibtex files