Pieter Vander Vennet 124cfad8f8 Docs: Improve docs, fix doc script		2023-07-20 13:28:38 +02:00
..
layers	Merge pull request #1511 from pietervdvn/RobinLinde-patch-11	2023-07-18 01:36:43 +02:00
svg	Themes: make the selected note pulsate and have a different border when selected	2023-06-20 22:48:50 +02:00
themes	Docs: Improve docs, fix doc script	2023-07-20 13:28:38 +02:00