Remove obsolete files in the docs folder. (#1872)

* Remove obsolete files in the docs folder. * Delete Documentation.yml
TuringLang · Aug 10, 2022 · 921d187 · 921d187
1 parent ab38d74
commit 921d187
Show file tree

Hide file tree

Showing 94 changed files with 0 additions and 43,451 deletions.
diff --git a/.github/workflows/Documentation.yml b/.github/workflows/Documentation.yml
diff --git a/docs/CNAME b/docs/CNAME
diff --git a/docs/Gemfile b/docs/Gemfile
diff --git a/docs/LICENSE b/docs/LICENSE
diff --git a/docs/Project.toml b/docs/Project.toml
diff --git a/docs/_config.yml b/docs/_config.yml
diff --git a/docs/_data/gsoc_members.yml b/docs/_data/gsoc_members.yml
diff --git a/docs/_data/members.yml b/docs/_data/members.yml