Merge pull request #3367 from semgrep/claudio/kill-rascal

Kill rulerascal
semgrep · Apr 30, 2024 · b746ec3 · b746ec3
2 parents 90c6a88 + c024b46
commit b746ec3
Show file tree

Hide file tree

Showing 4 changed files with 0 additions and 666 deletions.
diff --git a/.github/rulerascal/README.md b/.github/rulerascal/README.md
diff --git a/.github/rulerascal/main.py b/.github/rulerascal/main.py