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 !

  • Dimitri Fontaine's avatar
    Code review for el-get-user-package-directory. · ee1e1b41
    Dimitri Fontaine authored
    That was called el-get-configs-dir, rename to stick to existing emacs
    facilities such as user-init-file and user-emacs-directory.  Also move the
    loading code into a new function el-get-load-package-user-init-file, so that
    it's possible to call it by itself, and so that it can log what happens.
el-get.el 132 KB