MatthieuBarbu 7c4e5b3860 rebrand ... add zaclys menu adjust style		2023-08-28 09:52:05 +02:00
..
generated	[update] make pygments.less	2023-08-11 10:54:50 +02:00
js	[mod] Ignore autocomplete_min on queries that include '!' (!bang)	2023-04-15 18:54:47 +02:00
less	rebrand	2023-08-28 09:52:05 +02:00
svg	Theme: all top right icons have labels including "Preferences"	2022-07-02 10:04:35 +02:00