diff options
author | Rob Austein <sra@hactrn.net> | 2015-10-20 16:46:59 +0000 |
---|---|---|
committer | Rob Austein <sra@hactrn.net> | 2015-10-20 16:46:59 +0000 |
commit | 517079e5dbf12b062dc12638fa9620fe9642bb70 (patch) | |
tree | c8de8820e943f29e460fdcb2ff6eb7bdeee2e5e5 /rpki/left_right.py | |
parent | 7ae60ef88ea839d5cfd948176e4d527c2008f7ee (diff) |
Apparently exclude-result-prefixes does exactly what we want in the
presence of namespace-using content: removes unnecessary prefixes,
while retaining those required for this particular output.
svn path=/branches/tk705/; revision=6133
Diffstat (limited to 'rpki/left_right.py')
0 files changed, 0 insertions, 0 deletions