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)
commit1558d2ba91b9bc11cee6a7c2fbbec4eceadc56ed
tree7a125588055c3fc13e9606482e299fb15d5d005e
parent5a90443b0b0fa8b1a1e4d9bb5d8d927406d26236
parent114d5dc8c68e125da6f55cadc38874e032ab189d
Merge branch 'lint-for-newness' into 'master'

`fdroid lint` support for SPDX, l18n, dev signatures

Closes #234

See merge request !269