chiark / gitweb /
~ianmdlvl / fdroidserver.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0f06044) | patch
lint: more versatile /HEAD warning
authorDaniel Martí <mvdan@mvdan.cc>
Sat, 28 Nov 2015 10:32:46 +0000 (11:32 +0100)
committerDaniel Martí <mvdan@mvdan.cc>
Sat, 28 Nov 2015 10:58:56 +0000 (11:58 +0100)
commitce2f4a115c96f761047e287c7e16132c270149fc
tree5fbf644404a366affc714eaa57a329c09be95c3ftree | snapshot
parent0f06044770c553786a868b9bdcd9672cb6754a2ccommit | diff
lint: more versatile /HEAD warning

Now catches many more github/gitlab/bitbucket links
fdroidserver/lint.py diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.