Markus Heiser b08a779f2e make pygments.less ... Signed-off-by: Markus Heiser <markus.heiser@darmarit.de>		2022-08-19 10:00:50 +02:00
..
generated	make pygments.less	2022-08-19 10:00:50 +02:00
js	[fix] keyboard.js - highlightResult: don't steal focus on click event	2022-06-14 15:14:19 +02:00
less	Submit GH bug: ask the user to do some checks before submitting a new issue	2022-07-08 09:04:57 +02:00
svg	Theme: all top right icons have labels including "Preferences"	2022-07-02 10:04:35 +02:00