Simon Martens d257588649 Edited custom linter

2024-07-17 19:15:51 +02:00

..

custom_linter.py

Edited custom linter

2024-07-17 19:15:51 +02:00

extract_images.sh

+ scripts to extract images from pdfs, + scripts to rename the image files accordingly

2024-07-17 14:57:48 +02:00

process_linter_output.py

Added custom linter files

2024-07-17 18:49:58 +02:00

rename_1764.sh

+ scripts to extract images from pdfs, + scripts to rename the image files accordingly

2024-07-17 14:57:48 +02:00

rename_1765.sh

+ scripts to extract images from pdfs, + scripts to rename the image files accordingly

2024-07-17 14:57:48 +02:00