diff options
Diffstat (limited to 'tests/head/idem-1.I')
-rw-r--r-- | tests/head/idem-1.I | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/tests/head/idem-1.I b/tests/head/idem-1.I deleted file mode 100644 index 2e65efe..0000000 --- a/tests/head/idem-1.I +++ /dev/null @@ -1 +0,0 @@ -a
\ No newline at end of file |