how to tweak e.g. a given plugin's background color
[myslice.git] / unfold / prelude.py
2013-03-20 Thierry Parmentelatclean the main layout now known as unfold1, including...
2013-03-19 Thierry Parmentelatfilenames should be about right now
2013-03-18 Thierry Parmentelatrename tempalte_env on prelude into prelude_env
2013-03-18 Thierry Parmentelatsplit engine/ into manifold/ (backend oriented) and...