Remove languages except asm

toadharvard · Aug 6, 2024 · 30809ae · 30809ae
1 parent 775bf9e
commit 30809ae
Show file tree

Hide file tree

Showing 886 changed files with 65 additions and 66,726 deletions.
diff --git a/.git-blame-ignore-revs b/.git-blame-ignore-revs
diff --git a/.gitattributes b/.gitattributes
diff --git a/.github/CODEOWNERS b/.github/CODEOWNERS
diff --git a/.github/PULL_REQUEST_TEMPLATE/pull_request_template.md b/.github/PULL_REQUEST_TEMPLATE/pull_request_template.md
diff --git a/.github/add_comment.ml b/.github/add_comment.ml
diff --git a/.github/check_rdjson.sh b/.github/check_rdjson.sh
diff --git a/.github/dco.yml b/.github/dco.yml
diff --git a/.github/make_doc_msg.sh b/.github/make_doc_msg.sh