Daniel M 2ed29cae11 Put back get and set		2020-05-10 10:56:28 +02:00
..
core	Fixed highlighter resetting of syntax on doc filename change	2020-05-09 16:28:18 +01:00
fonts	Changed mapping of collapsed/expanded icons on icon font	2020-03-25 23:36:56 +00:00
plugins	Put back get and set	2020-05-10 10:56:28 +02:00
user	Initial commit	2019-12-28 11:17:56 +00:00