diff options
Diffstat (limited to 'rpki')
-rw-r--r-- | rpki/relaxng.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/rpki/relaxng.py b/rpki/relaxng.py index 842126bc..2d2d2ae4 100644 --- a/rpki/relaxng.py +++ b/rpki/relaxng.py @@ -6,7 +6,7 @@ from rpki.relaxng_parser import RelaxNGParser ## Parsed RelaxNG left_right schema left_right = RelaxNGParser(r'''<?xml version="1.0" encoding="UTF-8"?> <!-- - $Id: left-right.rnc 6134 2015-10-20 18:58:48Z sra $ + $Id: left-right.rnc 6136 2015-10-20 19:12:19Z sra $ RelaxNG schema for RPKI left-right protocol. |