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 26818db0..08908a95 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 1812 2008-05-22 17:14:18Z sra $ + $Id: left-right-schema.rnc 1813 2008-05-22 17:23:07Z sra $ RelaxNG Schema for RPKI left-right protocol. @@ -1218,7 +1218,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 1812 2008-05-22 17:14:18Z sra $ + $Id: publication-schema.rnc 1813 2008-05-22 17:23:07Z sra $ RelaxNG Schema for RPKI publication protocol. |