bb98094 write repo.json in dist_repo_init

Authored and Committed by mikem 6 years ago
    write repo.json in dist_repo_init
    
        
file modified
+11 -0