Griefed 68bcbeecf1 fix: Save overrides in preferences rather than properties		2023-10-20 20:03:56 +02:00
..
META-INF/maven/org.xerial/sqlite-jdbc	fix: Save overrides in preferences rather than properties	2023-10-20 20:03:56 +02:00