Bastien Versini 451989813f Fix description for increase/decrease font size		2019-01-26 23:08:39 +01:00
..
default	Fix description for increase/decrease font size	2019-01-26 23:08:39 +01:00
literate