chiark / gitweb /
~ianmdlvl / fdroidserver.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: c54e32a a30851e)
Merge branch 'java-gentoo' into 'master'
authorHans-Christoph Steiner <hans@guardianproject.info>
Wed, 4 Apr 2018 17:04:40 +0000 (17:04 +0000)
committerHans-Christoph Steiner <hans@guardianproject.info>
Wed, 4 Apr 2018 17:04:40 +0000 (17:04 +0000)
added java selection criteria for gentoo linux

See merge request fdroid/fdroidserver!486


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