diff options
Diffstat (limited to 'tests/head/no-oct-3.I')
-rw-r--r-- | tests/head/no-oct-3.I | 12 |
1 files changed, 0 insertions, 12 deletions
diff --git a/tests/head/no-oct-3.I b/tests/head/no-oct-3.I deleted file mode 100644 index 1901ba9..0000000 --- a/tests/head/no-oct-3.I +++ /dev/null @@ -1,12 +0,0 @@ - - - - - - - - - - - - |