4 Commits

Author	SHA1	Message	Date
jdescottes	978d6ef832	update right drawer	2014-07-12 18:36:39 +02:00
jdescottes	f589e71686	swap colors	2014-07-08 20:07:38 +02:00
jdescottes	9bdd17d456	update for color palette manager	2014-03-30 03:12:56 +02:00
jdescottes	4537f750ca	Update gh-pages after PR merge : zoom-level, keyboard-shortcuts, model-size	2013-11-25 19:00:19 +01:00