chiark / gitweb /
~ianmdlvl / fdroidserver.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: cc4b57b b170ef7)
Merge branch 'build-timeout-customization' into 'master'
authorHans-Christoph Steiner <hans@eds.org>
Tue, 30 Jan 2018 10:22:08 +0000 (11:22 +0100)
committerHans-Christoph Steiner <hans@eds.org>
Tue, 30 Jan 2018 10:22:08 +0000 (11:22 +0100)
build: make per-build hard time limit customizable

See merge request fdroid/fdroidserver!446


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