Enrico Turri 85b6784dcb Merge with master		2018-05-22 15:03:40 +02:00
..
Config	Snapshots: Disable activation of incompatible snapshots	2018-04-25 14:00:29 +02:00
GUI	Merge with master	2018-05-22 15:03:40 +02:00
Utils	Serial port friendly name on Linux	2018-05-21 18:59:13 +02:00