diff options
Diffstat (limited to 'buildtools/make-relaxng.py')
| -rw-r--r-- | buildtools/make-relaxng.py | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/buildtools/make-relaxng.py b/buildtools/make-relaxng.py index 3d239e8a..a8b562fa 100644 --- a/buildtools/make-relaxng.py +++ b/buildtools/make-relaxng.py @@ -26,6 +26,8 @@ import sys header = """\ # Automatically generated, do not edit. +# pylint: skip-file + from rpki.relaxng_parser import RelaxNGParser """ |