chiark / gitweb /
Merge branch 'lint-fixes' into 'master'
authorHans-Christoph Steiner <hans@guardianproject.info>
Wed, 6 Dec 2017 09:41:39 +0000 (09:41 +0000)
committerHans-Christoph Steiner <hans@guardianproject.info>
Wed, 6 Dec 2017 09:41:39 +0000 (09:41 +0000)
commit657b64f6eda2e1d61ff4be0d50137f6f9a5ad18f
treeaaed03e5fae9d6daab71037b3e413ab72b9e8d5c
parent8e1c39f791b4842ff50f48d7ea5b30883c1cc0e1
parentb31239803a164bd7e4faee9c97f225f06ed795f7
Merge branch 'lint-fixes' into 'master'

Lint fixes, plus changing the standard link format in descriptions

See merge request fdroid/fdroidserver!397