diff options
Diffstat (limited to 'rpki/old_irdbd.py')
| -rw-r--r-- | rpki/old_irdbd.py | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/rpki/old_irdbd.py b/rpki/old_irdbd.py index 4ebb33b0..b2dd42bd 100644 --- a/rpki/old_irdbd.py +++ b/rpki/old_irdbd.py @@ -25,6 +25,8 @@ and perhaps still useful as a minimal example. This does NOT work with the GUI, rpkic, or any of the other more recent tools. """ +# pylint: skip-file + import os import time import logging |