chiark / gitweb /
Merge branch 'lint-for-newness' into 'master'
authorBoris Kraut <krt@nurfuerspam.de>
Fri, 26 May 2017 21:38:35 +0000 (21:38 +0000)
committerBoris Kraut <krt@nurfuerspam.de>
Fri, 26 May 2017 21:38:35 +0000 (21:38 +0000)
`fdroid lint` support for SPDX, l18n, dev signatures

Closes #234

See merge request !269


Trivial merge