chiark / gitweb /
Merge branch 'build_tools_log' into 'master'
authorHans-Christoph Steiner <hans@guardianproject.info>
Mon, 27 Mar 2017 19:54:48 +0000 (19:54 +0000)
committerHans-Christoph Steiner <hans@guardianproject.info>
Mon, 27 Mar 2017 19:54:48 +0000 (19:54 +0000)
commit916e8eb108251a991e48fddfc672b17b8e10e3da
treea2121e3ca0686a6a581080e8a6d5f72163350d28
parent7f08fad2c6923a8ad6cd65a6ba7a1a7262edd62f
parent843595eb339fd9e37f2cefb36255de2098441241
Merge branch 'build_tools_log' into 'master'

post correct build tool versions to wiki

Closes #267

See merge request !235
fdroidserver/common.py