diff options
Diffstat (limited to 'docs/design.md')
| -rw-r--r-- | docs/design.md | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/docs/design.md b/docs/design.md index 092738a..42c691c 100644 --- a/docs/design.md +++ b/docs/design.md @@ -445,8 +445,10 @@ Reversals, last step first within each file: | delete permanent | none; reported as not undoable | always | If a reversal is refused, the earlier steps of that file's chain are not -reversed either, so no file is left half undone. Undo runs are logged like -any other run. +reversed either, so no file is left half undone. Removing a directory that is +not empty is the exception: it means another file still lives there, not that +the world changed under us, so that refusal is recorded and the rest of the +file's reversal proceeds. Undo runs are logged like any other run. ## 11. Command line |