Guldoman 5b6b48320f Check if "open" pattern is escaped ... Previously this check was only done for "close" patterns.		2022-06-12 04:19:05 +02:00
..
colors	style: move default colors to its own style file	2022-06-02 19:20:54 -04:00
core	Check if "open" pattern is escaped	2022-06-12 04:19:05 +02:00
fonts	…
plugins	initial documentation for better code completion	2022-06-07 22:09:34 -04:00