diff options
| -rw-r--r-- | result/relaxng/710744_err | 1 | ||||
| -rw-r--r-- | result/relaxng/710744_valid | 0 |
2 files changed, 1 insertions, 0 deletions
diff --git a/result/relaxng/710744_err b/result/relaxng/710744_err new file mode 100644 index 00000000..54f02261 --- /dev/null +++ b/result/relaxng/710744_err @@ -0,0 +1 @@ +./test/relaxng/710744.rng validates diff --git a/result/relaxng/710744_valid b/result/relaxng/710744_valid new file mode 100644 index 00000000..e69de29b --- /dev/null +++ b/result/relaxng/710744_valid |