diff options
Diffstat (limited to 'rpkid/rpki/relaxng.py')
| -rw-r--r-- | rpkid/rpki/relaxng.py | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/rpkid/rpki/relaxng.py b/rpkid/rpki/relaxng.py index 017209b6..e5f98663 100644 --- a/rpkid/rpki/relaxng.py +++ b/rpkid/rpki/relaxng.py @@ -6,7 +6,7 @@ import lxml.etree ## Parsed RelaxNG left_right schema left_right = lxml.etree.RelaxNG(lxml.etree.fromstring('''<?xml version="1.0" encoding="UTF-8"?> <!-- - $Id: left-right-schema.rnc 1813 2008-05-22 17:23:07Z sra $ + $Id: left-right-schema.rnc 1835 2008-06-02 23:43:01Z sra $ RelaxNG Schema for RPKI left-right protocol. @@ -1213,7 +1213,7 @@ up_down = lxml.etree.RelaxNG(lxml.etree.fromstring('''<?xml version="1.0" encodi ## Parsed RelaxNG publication schema publication = lxml.etree.RelaxNG(lxml.etree.fromstring('''<?xml version="1.0" encoding="UTF-8"?> <!-- - $Id: publication-schema.rnc 1824 2008-05-28 03:07:41Z sra $ + $Id: publication-schema.rnc 1835 2008-06-02 23:43:01Z sra $ RelaxNG Schema for RPKI publication protocol. |