Hi, Am 07.07.2016 um 22:43 schrieb Jan Harkes: > If there are unreintegrated changes, either discard them with 'cfs > purgeml /coda/richtercloud.de', or just restart venus with the INIT file > or -init flag to wipe any persisted local changes. I can confirm that running `venus` with `-init` flag fixed this issue. The reason might have been a `vice-setup` which didn't finish (I suggested improve of feedback in this case at https://github.com/cmusatyalab/coda/issues/13). I seem to be able to use coda now. Thank you.
-Kalle
