Maxime Coste 55d1d1020d Merge remote-tracking branch 'lenormf/rc-misc-fixes'		2017-05-19 21:53:02 +01:00
..
base	Merge remote-tracking branch 'lenormf/rc-misc-fixes'	2017-05-19 21:53:02 +01:00
core	Merge remote-tracking branch 'lenormf/rc-misc-fixes'	2017-05-19 21:53:02 +01:00
extra	Use only default faces	2017-05-11 18:40:07 +02:00