diff options
Diffstat (limited to 'testsuite/k2.pr')
-rw-r--r-- | testsuite/k2.pr | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/testsuite/k2.pr b/testsuite/k2.pr deleted file mode 100644 index b34a18d..0000000 --- a/testsuite/k2.pr +++ /dev/null @@ -1 +0,0 @@ -kA |