diff options
Diffstat (limited to 'result/pi2.xml.rdr')
| -rw-r--r-- | result/pi2.xml.rdr | 9 |
1 files changed, 0 insertions, 9 deletions
diff --git a/result/pi2.xml.rdr b/result/pi2.xml.rdr deleted file mode 100644 index 52b3b9d..0000000 --- a/result/pi2.xml.rdr +++ /dev/null @@ -1,9 +0,0 @@ -0 7 document-start 0 1 doc -0 1 doc 0 0 -1 14 #text 0 1 - -1 1 empty 1 0 -1 14 #text 0 1 - -0 15 doc 0 0 -0 7 document-end 0 1 doc |