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 !

erc-highlight-nicknames.rcp 224 Bytes
Newer Older
1
(:name erc-highlight-nicknames
2
       :description "Highlights nicknames"
3
       :type emacswiki
4 5 6
       :depends (erc)
       :prepare (progn
                  (autoload 'erc-highlight-nicknames "erc-highlight-nicknames")))