Griefed 68bcbeecf1 fix: Save overrides in preferences rather than properties		2023-10-20 20:03:56 +02:00
..
LICENSE.txt	fix: Save overrides in preferences rather than properties	2023-10-20 20:03:56 +02:00
NOTICE.txt	fix: Save overrides in preferences rather than properties	2023-10-20 20:03:56 +02:00