fix: delete unused files

leanprover · Nov 19, 2022 · 89b0452 · 89b0452
1 parent e32091f
commit 89b0452
Show file tree

Hide file tree

Showing 3 changed files with 0 additions and 4 deletions.
diff --git a/tests/compiler/Testing/Temporary/CTestCostData.txt b/tests/compiler/Testing/Temporary/CTestCostData.txt
diff --git a/tests/compiler/Testing/Temporary/LastTest.log b/tests/compiler/Testing/Temporary/LastTest.log
diff --git a/tests/compiler/a.out b/tests/compiler/a.out