Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
2817: doc: better removal of existing docs r=AlanGriffiths a=Saviq `rm -f dir` doesn't do. Fixes: #2800 Co-authored-by: Michał Sawicz (Saviq) <michal@sawicz.net>
- Loading branch information