2 Commits

Include renames

Author	SHA1	Message	Date
phundrak	a8763d7cef	More effective cleaner script	2021-02-01 22:28:07 +01:00
phundrak	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