- changed status to open
Remove/update various non-current documents
Issue #463
resolved
There are various outdated or at least not currently correct documents in the git repo. We should clean them up to avoid any confusion that old documents might cause.
Comments (2)
-
-
- changed status to resolved
Fixed
#463. Merged in clean-repo (pull request #300)Remove/update various non-current documents
Approved-by: Nat Sakimura
→ <<cset 38ce021a0240>>
- Log in to comment