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 f0846f9f authored by Reuben Thomas's avatar Reuben Thomas

Update dtrt-indent recipe to github; point temporarily at a working fork

parent 5d00df34
(:name dtrt-indent
:website "http://savannah.nongnu.org/projects/dtrt-indent/"
:description "A minor mode that guesses the indentation offset originally used for creating source code files and transparently adjusts the corresponding settings in Emacs, making it more convenient to edit foreign files."
:type git
:url "git://git.savannah.nongnu.org/dtrt-indent.git"
:features dtrt-indent
:type github
:pkgname "rrthomas/dtrt-indent" ; has a fix for a bug that prevents loading; change back to "jscheid/" once https://github.com/jscheid/dtrt-indent/pull/10 is addressed
:features (dtrt-indent)
:post-init (dtrt-indent-mode 1))
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