diff options
Diffstat (limited to 'scripts/rpki/relaxng.py')
| -rw-r--r-- | scripts/rpki/relaxng.py | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/scripts/rpki/relaxng.py b/scripts/rpki/relaxng.py index e19323b5..c037c36a 100644 --- a/scripts/rpki/relaxng.py +++ b/scripts/rpki/relaxng.py @@ -1,6 +1,8 @@ # Automatically generated, do not edit. import lxml.etree +## @var left_right +## Parsed RelaxNG left_right schema left_right = lxml.etree.RelaxNG(lxml.etree.fromstring('''<?xml version="1.0" encoding="UTF-8"?> <!-- @@ -905,6 +907,8 @@ left_right = lxml.etree.RelaxNG(lxml.etree.fromstring('''<?xml version="1.0" enc </define> </grammar> ''')) +## @var up_down +## Parsed RelaxNG up_down schema up_down = lxml.etree.RelaxNG(lxml.etree.fromstring('''<?xml version="1.0" encoding="UTF-8"?> <!-- |