Federico Amedeo Izzo 619cda7aeb Turn off GPS when it's turned off in settings		2021-02-14 13:55:33 +01:00
..
include	UI: Add menu edit mode. Small refactoring	2021-02-13 21:29:25 +01:00
src	Turn off GPS when it's turned off in settings	2021-02-14 13:55:33 +01:00