4838814 [Vagrantfile] remove unneeded stuff

Authored and Committed by clime 6 years ago
1 file changed. 0 lines added. 24 lines removed.
    [Vagrantfile] remove unneeded stuff
    
        
file modified
+0 -24