chiark / gitweb /
Merge branch 'fix_no-refresh' into 'master'
authorHans-Christoph Steiner <hans@guardianproject.info>
Thu, 28 Dec 2017 22:08:29 +0000 (22:08 +0000)
committerHans-Christoph Steiner <hans@guardianproject.info>
Thu, 28 Dec 2017 22:08:29 +0000 (22:08 +0000)
commit76f20da9e838bf06daa3b2e5865f52b4f1c6a221
tree818d5268b9890ede2ece2d39482b6d6c1c4111a5
parent8ed6bb85063e1b21348e8224d28036a481a9c305
parente775d330c227fc34ab0159dd94a9760b8dd70505
Merge branch 'fix_no-refresh' into 'master'

build: fix --no-refresh

See merge request fdroid/fdroidserver!428