Ce serveur Gitlab sera éteint le 30 juin 2020, pensez à migrer vos projets vers les serveurs gitlab-research.centralesupelec.fr et gitlab-student.centralesupelec.fr !

  1. 29 Jun, 2014 1 commit
  2. 06 Sep, 2011 1 commit
  3. 14 Aug, 2011 1 commit
    • Dimitri Fontaine's avatar
      Add ':description' for recipes without it · 88380ca3
      Dimitri Fontaine authored
      Conflicts:
      
      	recipes/bookmark+.el
      	recipes/color-theme-zenburn.el
      	recipes/dired-plus.el
      	recipes/imaxima.el
      	recipes/js2-mode.el
      	recipes/nxhtml.el
      	recipes/python-mode.el
      	recipes/python-pep8.el
      	recipes/rvm.el
      	recipes/smartchr.el
      	recipes/tuareg-mode.el
      88380ca3
  4. 26 Sep, 2010 1 commit