merging registry into git

2017-11-20 20:02:57 +00:00
parent 30ea905a5a
commit 81f21c135e
79 changed files with 147 additions and 154 deletions
--- a/data/as-set/AS-FREIFUNK
+++ b/data/as-set/AS-FREIFUNK
@@ -15,4 +15,4 @@ members:       AS65513
 members:       AS65526
 members:       AS65529
 members:       AS65525
-mnt-by:        DUMMY-MNT
+mnt-by:        FREIFUNKDUMMY-MNT