chiark / gitweb /
~ianmdlvl / fdroidserver.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d0559f8) | patch
lint: better type safety
authorDaniel Martí <mvdan@mvdan.cc>
Wed, 19 Aug 2015 01:07:01 +0000 (18:07 -0700)
committerDaniel Martí <mvdan@mvdan.cc>
Wed, 19 Aug 2015 01:07:01 +0000 (18:07 -0700)
commit80371da13384e9bf3c86bad3846860df7bb3b4d1
tree5286efdb1b6db8b3f04b1c8728dc81e9e31c5bd6tree | snapshot
parentd0559f864e4f578e6794f3b24a832d44ccd4af52commit | diff
lint: better type safety
fdroidserver/lint.py diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.