chiark / gitweb /
~ianmdlvl / fdroidserver.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d180aa2) | patch
added makebuildserver option for keeping vagrant box
authorHans-Christoph Steiner <hans@eds.org>
Mon, 22 May 2017 15:29:12 +0000 (17:29 +0200)
committerHans-Christoph Steiner <hans@eds.org>
Tue, 23 May 2017 18:06:06 +0000 (20:06 +0200)
commit5580a685dbef817920ea7e755531a01024a00d9f
tree04e4066dfc20eeb9d6f2256b427cd6c0b5ffe525tree | snapshot
parentd180aa26580b400540374d70382bc9370e02557ecommit | diff
added makebuildserver option for keeping vagrant box

This is very useful for debugging this process, and also for people
who might want to keep a working copy of the box.
makebuildserver diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.