merging registry into git

This commit is contained in:
Xuu 2017-11-06 16:56:52 +00:00
parent de2e61d20e
commit 2092b0b941
10 changed files with 33 additions and 41 deletions

View file

@ -1,7 +1,5 @@
as-block: AS4242424000 - AS4242426999
@as-min: AS4242424000
@as-max: AS4242426999
as-block: 4242424000 - 4242426999
descr: Future dn42 use
remarks: This block is reserved for future dn42 use.
remarks: This block is reserved for future dn42 use.
mnt-by: DUMMY-MNT
policy: closed