Simon Martens 416b72da2f + Github annotations

2024-07-18 11:26:06 +02:00

..

annotations_references.py

+ Github annotations

2024-07-18 11:26:06 +02:00

annotations_validation.py

+ Github annotations

2024-07-18 11:26:06 +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

lint_validation.py

Validation should fail on error

2024-07-18 00:00:28 +02:00

lint_verweise.py

+ Github annotations

2024-07-18 11:26:06 +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