1. 16 Jun, 2018 8 commits
  2. 14 Jun, 2018 1 commit
  3. 13 Jun, 2018 1 commit
  4. 12 Jun, 2018 4 commits
  5. 30 May, 2018 4 commits
  6. 29 May, 2018 1 commit
  7. 28 May, 2018 6 commits
  8. 27 May, 2018 2 commits
  9. 26 May, 2018 2 commits
  10. 25 May, 2018 1 commit
    • Louis's avatar
      Mise à jour de `utils/cree-vignettes` · 0877d049
      Louis authored
      * Le script re-générait *toutes* les vignettes à chaque fois. Ce n'est
        plus le cas.
      * Le script supposait encore (en partie) que les exercices s'appelaient
        `exercice-NUMERO` (c'est sans doute la raison du bug précédent).
      * Le script ne fait plus d'appel à git (c'est moins nécessaire, puisque
        les fichiers ne changent plus de nom).
      0877d049
  11. 24 May, 2018 10 commits