chiark / gitweb /
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)
commit47a930f9f3ed1ff271026cf8a11da7183ef01318
tree4a5f78e7c3265ec5b14a724932389e604a22e790
parentc54e32a3b820be12e62475a7479b72201fbb5112
parenta30851ec98976803e09ae8237feb97444c76ec7c
Merge branch 'java-gentoo' into 'master'

added java selection criteria for gentoo linux

See merge request fdroid/fdroidserver!486