diff options
Diffstat (limited to 'testsuite/e1.pr')
-rw-r--r-- | testsuite/e1.pr | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/testsuite/e1.pr b/testsuite/e1.pr new file mode 100644 index 0000000..827cc29 --- /dev/null +++ b/testsuite/e1.pr @@ -0,0 +1 @@ +ee e1.err |