merging registry into git

This commit is contained in:
Xuu 2018-05-04 12:00:39 +00:00
parent de39c3799b
commit 928e556262
17 changed files with 19 additions and 21 deletions

View file

@ -8,5 +8,5 @@ status: ASSIGNED
nserver: dns1.crest.dn42
nserver: dns1.crest.dn42
cidr: 172.22.254.96/27
mnt-by: DUMMY-MNT
mnt-by: CREST-MNT
source: DN42