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 7632e297 authored by Dimitri Fontaine's avatar Dimitri Fontaine

Merge pull request #1553 from dholm/recipes/sage-mode

Recipe for sage-mode
parents 5a60ad11 abddb80c
(: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