Ticket #20 (closed defect: fixed)
Complete the "resync" support
|Reported by:||lele||Owned by:||lele|
Currently, a resync can be done only after a manual intervention on the database, by issueing a DELETE FROM on every darcs_xxx.
Clearly the backend could/should take care of that by itself.