chiark / gitweb /
Merge branch 'lint-unused-files' into 'master'
authorDaniel Martí <mvdan@mvdan.cc>
Thu, 5 May 2016 23:31:04 +0000 (23:31 +0000)
committerDaniel Martí <mvdan@mvdan.cc>
Thu, 5 May 2016 23:31:04 +0000 (23:31 +0000)
commitbad9c3e80455aac2a96398804e8b49b087f90f0b
tree23e565ea82f5f47ac461e9730f15ce5ec0e6392c
parent736391d3d93428ffcf037325c47f75604b3fe9e2
parent3aeea6fc90ee299e0790b3bab29b8fa5ed478018
Merge branch 'lint-unused-files' into 'master'

lint: error on unused files

For now, this is just patch files.

See merge request !124