diff options
Diffstat (limited to 'docs')
| -rw-r--r-- | docs/divergences.md | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/docs/divergences.md b/docs/divergences.md index 21e5167e..2ab65819 100644 --- a/docs/divergences.md +++ b/docs/divergences.md @@ -15,8 +15,3 @@ moving a bookmark does not quietly orphan work or hide a failure. `ninep`, `fx`, `macos-fix`, `full-prototype`, `term`, and the `before-*` and `merged-*` bookmarks mark points already in `main`'s history. Only `main` is pushed to the FreeBSD mirror, which serves a public site. - -## Known wrong on `main` - -- `Dump` fails `no such directory` when the default `DumpDir`'s parent - (`$XDG_DATA_HOME`, or `~/.local/share`) does not exist. |