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 !

Commit 321afd55 authored by Dimitri Fontaine's avatar Dimitri Fontaine

Merge pull request #225 from rassie/master

slime's URL on Github instead of CVS
parents 99dee2d4 a794263d
(:name slime
:type cvs
:type git
:module "slime"
:info "doc"
:url ":pserver:anonymous:anonymous@common-lisp.net:/project/slime/cvsroot"
:url "https://github.com/nablaone/slime.git"
:load-path ("." "contrib")
:compile (".")
)
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment