Davide Depau 1d0c1e82fa Add "Reset all warnings" menu item		2018-09-30 22:58:09 +02:00
..
menu_main.xml	Add "Reset all warnings" menu item	2018-09-30 22:58:09 +02:00
usb_devices_menu.xml	Rebrand from "DDroid" to "EtchDroid"	2018-08-15 19:04:45 +02:00