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