docs: Properly delete /docs folder
1 parent 69ebfae commit 58bf62a55b4117f136212ae9b2f2b39e5849dec8
@Erlend Erlend authored on 10 Mar 2023
GitHub committed on 10 Mar 2023
Showing 1 changed file
View
docs/README.md 100644 → 0