removes unused files in js/codemirror

IPGP · Apr 13, 2024 · 100b39b · 100b39b
1 parent c7425a4
commit 100b39b
Show file tree

Hide file tree

Showing 157 changed files with 0 additions and 35,407 deletions.
diff --git a/CODE/js/codemirror/AUTHORS b/CODE/js/codemirror/AUTHORS
diff --git a/CODE/js/codemirror/CHANGELOG.md b/CODE/js/codemirror/CHANGELOG.md
diff --git a/CODE/js/codemirror/CONTRIBUTING.md b/CODE/js/codemirror/CONTRIBUTING.md
diff --git a/CODE/js/codemirror/LICENSE b/CODE/js/codemirror/LICENSE
diff --git a/CODE/js/codemirror/README.md b/CODE/js/codemirror/README.md
diff --git a/CODE/js/codemirror/bin/authors.sh b/CODE/js/codemirror/bin/authors.sh
diff --git a/CODE/js/codemirror/bin/lint b/CODE/js/codemirror/bin/lint
diff --git a/CODE/js/codemirror/bin/release b/CODE/js/codemirror/bin/release
diff --git a/CODE/js/codemirror/bin/source-highlight b/CODE/js/codemirror/bin/source-highlight
diff --git a/CODE/js/codemirror/bin/upload-release.js b/CODE/js/codemirror/bin/upload-release.js
diff --git a/CODE/js/codemirror/demo/activeline.html b/CODE/js/codemirror/demo/activeline.html