Add test file (#11)

3c4235ef5ab2d5545d9252d2170941185d40a04c
Certora · Jan 21, 2025 · 345e2de · 345e2de
1 parent aa6eff1
commit 345e2de
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/test_delete/test_file_20250121134538.txt b/test_delete/test_file_20250121134538.txt
@@ -0,0 +1 @@
+This is a test file.