Deleted unused files

jotego · Jan 16, 2024 · 498f984 · 498f984
1 parent 7a3a59d
commit 498f984
Show file tree

Hide file tree

Showing 3 changed files with 0 additions and 92 deletions.
diff --git a/.github/mra_sync.latest_commit.txt b/.github/mra_sync.latest_commit.txt
diff --git a/.github/mra_sync.sh b/.github/mra_sync.sh
diff --git a/.github/workflows/mra_tasks.yml b/.github/workflows/mra_tasks.yml