Tunui Franken ec158934ec Small change		2024-10-04 11:15:33 +02:00
..
create-index.sh	Remove checks from scripts that are in the Makefile	2023-05-08 13:03:04 +02:00
pull-cours.sh	Use actual remote for cours	2024-10-01 23:11:06 +02:00
pull-procedures.sh	Small change	2024-10-04 11:15:33 +02:00