diff options
author | Rob Austein <sra@hactrn.net> | 2014-01-29 03:33:37 +0000 |
---|---|---|
committer | Rob Austein <sra@hactrn.net> | 2014-01-29 03:33:37 +0000 |
commit | 5a007a74529766b5b27f8e054d4fad79172d2d5c (patch) | |
tree | ebe14115f87901aa3e3097edb028366730df227a /rpkid/rpki/resource_set.py | |
parent | f3ee7f51c0a091f244985ae7fd3d975a3259fee9 (diff) |
Clean up OID database. Would have done this years ago, had I
understood how the globals() function works.
svn path=/branches/tk671/; revision=5652
Diffstat (limited to 'rpkid/rpki/resource_set.py')
-rw-r--r-- | rpkid/rpki/resource_set.py | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/rpkid/rpki/resource_set.py b/rpkid/rpki/resource_set.py index f78d37fd..2ec19cab 100644 --- a/rpkid/rpki/resource_set.py +++ b/rpkid/rpki/resource_set.py @@ -30,7 +30,6 @@ We also provide some basic set operations (union, intersection, etc). import re import math -import rpki.oids import rpki.exceptions import rpki.POW |