This repository has been archived on 2023-02-26. You can view files and clone it. You cannot open issues or pull requests or push a commit.

Lucien Cartier-Tilet 08b9a214f6 [Meta] Update clean script, add extension to gitignore ...

clean script is now written in bash, now uses fd instead of find

.bbl extension has been added to gitignore and to the list of files to
be deleted

2021-01-26 00:37:01 +01:00

257 B

Executable File

Raw Blame History

View Raw