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 026b2fdb authored by Dimitri Fontaine's avatar Dimitri Fontaine

Merge pull request #512 from konr/master

parents c177e99a c87e6ccc
(:name tomatinho
:description "Pomodoro technique timer with a lean and usable interface."
:type git
:branch "autoload"
:url "https://github.com/konr/tomatinho.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