diff options
Diffstat (limited to 'docs')
| -rw-r--r-- | docs/design.md | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/docs/design.md b/docs/design.md index 744ef05..e8dd1af 100644 --- a/docs/design.md +++ b/docs/design.md @@ -664,7 +664,8 @@ not logged; declined files are. - `krino log` lists recent runs: id, time, directories, counts, and `(undone)` once undo has reversed every reversible step of a run, or - `(partly undone)` while some are not (declined, refused or failed). + `(partly undone)` while some are not (declined, refused or failed). A file + whose chain ends in a permanent delete is never undoable and not counted. - `krino undo` reverses the most recent run, in every directory it touched. An older run is undone by naming it: `krino undo RUN`. Undo runs cannot themselves be undone: naming one is refused. |