Arturo Filastò 6c49bd694f Improve output of incomplete measurements
Rename done to is_done
2018-09-17 13:04:48 +02:00
..