Nils Maier c7c111e1c0 Option to hide contexts ...

Closes #4

2019-08-25 23:22:47 +02:00

..

filters.json

Initial squashed commit

2019-08-20 16:41:37 +02:00

icons.json

Initial squashed commit

2019-08-20 16:41:37 +02:00

prefs.json

Option to hide contexts

2019-08-25 23:22:47 +02:00

xregexps.json

Initial squashed commit

2019-08-20 16:41:37 +02:00