diff options
Diffstat (limited to 'testsuite/m.pr')
| -rw-r--r-- | testsuite/m.pr | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/testsuite/m.pr b/testsuite/m.pr deleted file mode 100644 index edbb96f..0000000 --- a/testsuite/m.pr +++ /dev/null @@ -1,5 +0,0 @@ -a -hello world -. -1,$m1 -hello world |