Removed outdated files

usethesource · Sep 27, 2024 · d13679c · d13679c
1 parent 888a778
commit d13679c
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 125 deletions.
diff --git a/test/org/rascalmpl/test/data/DS.trm b/test/org/rascalmpl/test/data/DS.trm
diff --git a/test/org/rascalmpl/test/data/RecoveryTests.rsc b/test/org/rascalmpl/test/data/RecoveryTests.rsc