chiark / gitweb /
Merge branch 'googlemaven' into 'master'
authorHans-Christoph Steiner <hans@guardianproject.info>
Sat, 17 Jun 2017 11:00:57 +0000 (11:00 +0000)
committerHans-Christoph Steiner <hans@guardianproject.info>
Sat, 17 Jun 2017 11:00:57 +0000 (11:00 +0000)
commitee1b7ccea2f362ba5c737e271c5c63614f6149c6
tree2887e47c9e68ee835e436de127bbfbfbfa39f65e
parent790c8810000d5d53aafd0c97008226a612f2547b
parentc056b95fd5db81484d9e2b21d71975b12ffa9ac3
Merge branch 'googlemaven' into 'master'

Add Google's maven repo to allowed list

See merge request !275