Pieter Vander Vennet 66d7048434 Merge develop		2023-07-27 01:53:35 +02:00
..
layers	Merge develop	2023-07-27 01:53:35 +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-27 01:52:38 +02:00