2021-2022/tools
Bertrand Benjamin db90d94498 Fix: remove microtype 2021-08-27 11:34:15 +02:00
..
examples Feat: importation des tools 2021-08-23 07:40:35 +02:00
git/hooks Feat: importation des tools 2021-08-23 07:40:35 +02:00
scripts Fix: gestion des espaces dans le script new_sequence 2021-08-24 17:23:56 +02:00
skeleton/sequence Fix: il semblerait que \collectexercices ne soit plus le bien venu 2021-08-27 11:33:37 +02:00
style Fix: remove microtype 2021-08-27 11:34:15 +02:00