chiark / gitweb /
~ianmdlvl / fdroidserver.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 0f6dc31 5a0c201)
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)
Copy initial buildserver CPU/memory configuration to final box Vagrantfile

See merge request !279


Trivial merge
Unnamed repository; edit this file 'description' to name the repository.