Delete unused scripts Linux (maplibre#1220)

bilal614 · Jun 8, 2023 · 69805ad · 69805ad
1 parent 3260d32
commit 69805ad
Show file tree

Hide file tree

Showing 14 changed files with 0 additions and 533 deletions.
diff --git a/platform/linux/scripts/after_script.sh b/platform/linux/scripts/after_script.sh
diff --git a/platform/linux/scripts/after_success.sh b/platform/linux/scripts/after_success.sh
diff --git a/platform/linux/scripts/metrics.sh b/platform/linux/scripts/metrics.sh
diff --git a/scripts/codestyle.sh b/scripts/codestyle.sh
diff --git a/scripts/collect-coverage.sh b/scripts/collect-coverage.sh
diff --git a/scripts/environment.js b/scripts/environment.js
diff --git a/scripts/log_memory_benchmarks.sh b/scripts/log_memory_benchmarks.sh
diff --git a/scripts/mason.sh b/scripts/mason.sh
diff --git a/scripts/nitpick/submodule-pin.js b/scripts/nitpick/submodule-pin.js
diff --git a/scripts/publish_github_stats.js b/scripts/publish_github_stats.js