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 86f77851 authored by Dimitri Fontaine's avatar Dimitri Fontaine

Merge pull request #562 from renard/new-recipe

Add mark-multiple recipe.
parents 60729504 09c0a71f
(:name mark-multiple
:description "mark several regions at once"
:website "http://emacsrocks.com/e08.html"
:type git
:url "https://github.com/magnars/mark-multiple.el"
:features "mark-more-like-this")
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