chiark / gitweb /
~ianmdlvl / fdroidserver.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 0003e4c a2b20f4)
Merge branch 'master' into 'master'
authorHans-Christoph Steiner <hans@guardianproject.info>
Fri, 22 Jan 2016 10:27:54 +0000 (10:27 +0000)
committerHans-Christoph Steiner <hans@guardianproject.info>
Fri, 22 Jan 2016 10:27:54 +0000 (10:27 +0000)
Reproducibly build documentation

The two commits fix reproducibility problems detected by the Debian CI:

https://reproducible.debian.net/rb-pkg/unstable/amd64/fdroidserver.html

See merge request !84


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