rxi 5155ce0527 Added replace-symbol command to findreplace plugin		2020-05-02 11:14:07 +01:00
..
core	Added replace-symbol command to findreplace plugin	2020-05-02 11:14:07 +01:00
fonts	Changed mapping of collapsed/expanded icons on icon font	2020-03-25 23:36:56 +00:00
plugins	Added scroll bounds	2020-05-02 00:21:04 +01:00
user	Initial commit	2019-12-28 11:17:56 +00:00