Merge pull request #451 from foretagsplatsen/delete-docs

Delete unmaintained docs/ folder
foretagsplatsen · Dec 11, 2023 · 6d855e3 · 6d855e3
2 parents 61b03db + c83fcdd
commit 6d855e3
Show file tree

Hide file tree

Showing 16 changed files with 0 additions and 3,164 deletions.
diff --git a/docs/docco/abstractSegment.html b/docs/docco/abstractSegment.html
diff --git a/docs/docco/core.html b/docs/docco/core.html