Skip to content

GitLab

Explorer

Connexion

Étiquettes

Les étiquettes permettent de marquer des moments spécifiques importants dans l'historique du projet.

v20200920.7

65ac1133 · Ajout séance · sept. 20, 2020
v20200920.6

b5df2fc6 · On rétroporte une fonctionnalité de publish · sept. 20, 2020
v20200920.5

4c4b11dc · Le PDF est binaire · sept. 20, 2020
v20200920.4

d1a1caa0 · Ajout de la charge utile · sept. 20, 2020
v20200920.3

4468fd28 · Ajout fichier · sept. 20, 2020
v20200920.2

bb3a1ed2 · Document plus complexe · sept. 20, 2020
v20200920.1

bc932d87 · Remplacement tex/pdf · sept. 20, 2020
v20200920

33e8b9e0 · Ajout d'un code pour publier les documents sur ED · sept. 20, 2020
demonstration#1.1

f0090d87 · On ne conserve que la fin du chemin (cf. #3) · sept. 16, 2020
2020.eval0

61db9305 · Build de l'évaluation · sept. 07, 2020
2020-05-12T1944

e7b38a38 · Transformation du script d'upload · mai 12, 2020
```
Transformation du script
```
Non vérifiée
2020-05-12

1fbb3a13 · Ajout des notes de versions avec gitinfo2 · mai 12, 2020
2020-05-10

2a11d923 · Ajout des rappels de cours sur intervalles · mai 10, 2020