Delete doc/scripts directory

dothething1DA · Sep 16, 2024 · 3a7178e · 3a7178e
1 parent 4f970a1
commit 3a7178e
Show file tree

Hide file tree

Showing 8 changed files with 0 additions and 146 deletions.
diff --git a/doc/scripts/README b/doc/scripts/README
diff --git a/doc/scripts/add-cc0-license.py b/doc/scripts/add-cc0-license.py
diff --git a/doc/scripts/compile-all.sh b/doc/scripts/compile-all.sh
diff --git a/doc/scripts/find-unreferenced-files.py b/doc/scripts/find-unreferenced-files.py
diff --git a/doc/scripts/fix-newlines.py b/doc/scripts/fix-newlines.py
diff --git a/doc/scripts/run-all.sh b/doc/scripts/run-all.sh
diff --git a/doc/scripts/skip_headers b/doc/scripts/skip_headers
diff --git a/doc/scripts/test-compiles.sh b/doc/scripts/test-compiles.sh