diff options
Diffstat (limited to 'result/XInclude/docids.xml.rdr')
| -rw-r--r-- | result/XInclude/docids.xml.rdr | 35 |
1 files changed, 0 insertions, 35 deletions
diff --git a/result/XInclude/docids.xml.rdr b/result/XInclude/docids.xml.rdr deleted file mode 100644 index dedeb67..0000000 --- a/result/XInclude/docids.xml.rdr +++ /dev/null @@ -1,35 +0,0 @@ -0 10 book 0 0 -0 1 book 0 0 -1 14 #text 0 1 - -1 1 doc 0 0 -2 14 #text 0 1 - -2 1 isid 1 0 -2 14 #text 0 1 - -2 1 isid 1 0 -2 14 #text 0 1 - -1 15 doc 0 0 -1 14 #text 0 1 - -1 8 #comment 0 1 including another XML document with IDs -1 14 #text 0 1 - -1 1 doc 0 0 -2 14 #text 0 1 - -2 1 isid 1 0 -2 14 #text 0 1 - -2 1 isid 1 0 -2 14 #text 0 1 - -2 1 isid 1 0 -2 14 #text 0 1 - -1 15 doc 0 0 -1 14 #text 0 1 - -0 15 book 0 0 |