chiark / gitweb /
Merge branch 'vagrantfile-box' into 'master'
authorHans-Christoph Steiner <hans@guardianproject.info>
Mon, 19 Jun 2017 09:36:21 +0000 (09:36 +0000)
committerHans-Christoph Steiner <hans@guardianproject.info>
Mon, 19 Jun 2017 09:36:21 +0000 (09:36 +0000)
commit26a4e33a7a9d7480866cc7322fc31b0b6cf1ccc9
tree9d390df14b27c5619c73edf14b0af0780e92a484
parent0f6dc31bceb539b42c273381146d37634ebd7e7f
parent5a0c201fab34f18e4ea8a65c8d47a1d5309b55be
Merge branch 'vagrantfile-box' into 'master'

Copy initial buildserver CPU/memory configuration to final box Vagrantfile

See merge request !279