Simon Frei 28bdd4421d Fallback to shell if db deletion fails (fixes #1753) (#1754)		2022-02-07 09:16:28 +01:00
..
src/main	Fallback to shell if db deletion fails (fixes #1753) (#1754)	2022-02-07 09:16:28 +01:00
.gitignore	Revert "Revert build script changes"	2017-10-24 14:55:28 +09:00
build.gradle	Bumped version to 1.19.0	2022-02-02 08:20:40 +01:00
lint.xml	Fix lint "unused quantity translations" (#1130)	2018-06-10 12:17:02 +01:00