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 45eddd71 authored by Dimitri Fontaine's avatar Dimitri Fontaine

Merge pull request #563 from renard/new-recipe

Add webjump++ recipe.
parents 86f77851 f0a40058
(:name webjump++
:type git
:description "Easy search web on engines."
:url "git://github.com/renard/webjump-plus-plus.git")
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