diff options
Diffstat (limited to 'docs')
| -rw-r--r-- | docs/divergences.md | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/docs/divergences.md b/docs/divergences.md index 17179029..21e5167e 100644 --- a/docs/divergences.md +++ b/docs/divergences.md @@ -18,7 +18,5 @@ moving a bookmark does not quietly orphan work or hide a failure. ## Known wrong on `main` -- `pardes FILE` in a pane forwards only a FILE that exists; a new file name - starts a separate editor instead of opening a pane in the session. - `Dump` fails `no such directory` when the default `DumpDir`'s parent (`$XDG_DATA_HOME`, or `~/.local/share`) does not exist. |