diff options
Diffstat (limited to 'result/relaxng/choice0_7.err')
| -rw-r--r-- | result/relaxng/choice0_7.err | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/result/relaxng/choice0_7.err b/result/relaxng/choice0_7.err deleted file mode 100644 index 89b9e32..0000000 --- a/result/relaxng/choice0_7.err +++ /dev/null @@ -1,3 +0,0 @@ -./test/relaxng/choice0_7.xml:1: element device: Relax-NG validity error : Did not expect element unknown-element there -./test/relaxng/choice0_7.xml:1: element device: Relax-NG validity error : Element device failed to validate content -./test/relaxng/choice0_7.xml fails to validate |