Pieter Vander Vennet 7eeac66471 Merge branches		2023-07-17 01:43:53 +02:00
..
layers	Merge branches	2023-07-17 01:43:53 +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	Merge branch 'master' into develop	2023-07-17 01:32:30 +02:00