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 !

  • Ryan C. Thompson's avatar
    Clean elc file if it is the *same* age as el file · 85f273b7
    Ryan C. Thompson authored
    Before, it would only be cleaned if it was older. Now being exactly
    the same age also means it gets cleaned. This is because if they are
    the same age, we don't know which came first, so we just have to
    assume that the elc file is stale and recreate it.
el-get-byte-compile.el 7.58 KB