Bnyro a5decfb838 [feat] preferences: button to copy input to restore preferences hash		2024-01-29 18:09:22 +01:00
..
generated	[update] make pygments.less	2023-11-27 14:43:43 +01:00
js	[feat] preferences: button to copy input to restore preferences hash	2024-01-29 18:09:22 +01:00
less	[feat] preferences: button to copy input to restore preferences hash	2024-01-29 18:09:22 +01:00
svg	Theme: all top right icons have labels including "Preferences"	2022-07-02 10:04:35 +02:00