chiark / gitweb /
Merge branch 'skip-scan' into 'master'
authorHans-Christoph Steiner <hans@guardianproject.info>
Wed, 1 Mar 2017 17:35:02 +0000 (17:35 +0000)
committerHans-Christoph Steiner <hans@guardianproject.info>
Wed, 1 Mar 2017 17:35:02 +0000 (17:35 +0000)
commit2242bb232b083aaaf9f49ea6f0674b9bb495e9f5
tree696d7f182ecbc6194d5d90befe445fade426943d
parent0025adf566790de1361f5c0d495c96f04e52047e
parentc5bd8d958209def40d2eefed78acdcb663ec8873
Merge branch 'skip-scan' into 'master'

Pass on --skip-scan flag to build server VM when running fdroid build --server.

Closes #130

See merge request !216