-
- Downloads
"dune/git@git.imp.fu-berlin.de:podlesny/dune-tectonic.git" did not exist on "7ce6cd85ee43da4cf0a98576d15ce1e5641ae264"
added gitignore for vagrant vm
added vagrantfile and bootstrapping script
Showing
- .gitignore 1 addition, 0 deletions.gitignore
- ma-impl.sublime-workspace 5 additions, 1 deletionma-impl.sublime-workspace
- vm/Vagrantfile 17 additions, 0 deletionsvm/Vagrantfile
- vm/bootstrap.sh 24 additions, 0 deletionsvm/bootstrap.sh
- vm/config/master-mongod.conf 39 additions, 0 deletionsvm/config/master-mongod.conf
- vm/env.sh 3 additions, 0 deletionsvm/env.sh
Loading
Please register or sign in to comment