chiark / gitweb /
Revert "Dgit: Introduce in_workarea and fresh_workarea"