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 abddb80c authored by David Holm's avatar David Holm

Recipe for sage-mode

parent 5a60ad11
(:name sage-mode
:description "Sage integration with Emacs."
:type hg
:url "http://bitbucket.org/gvol/sage-mode"
:load-path ("emacs")
:features sage
:build '(("./make-spkg.sh" "hg")))
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