diff --git a/execution/.gitignore b/execution/.gitignore deleted file mode 100644 index bac9a5d1eeb12d9e40d38376904e8fb69c0e5231..0000000000000000000000000000000000000000 --- a/execution/.gitignore +++ /dev/null @@ -1,2 +0,0 @@ -exp_counter.txt -results