chiark / gitweb /
~ianmdlvl / fdroidserver.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f604d84) | patch
common: error if any glob paths are unused
authorDaniel Martí <mvdan@mvdan.cc>
Sat, 14 Nov 2015 12:05:16 +0000 (13:05 +0100)
committerDaniel Martí <mvdan@mvdan.cc>
Sat, 14 Nov 2015 12:05:16 +0000 (13:05 +0100)
commitc97b0e7ed9041f3595966af39622e9b3fe44d160
tree5f419946dfeaa0de8b387adf7e94f03163cca20dtree | snapshot
parentf604d845f5d967b4f6d9d5e4d1ffacfa4478d89dcommit | diff
common: error if any glob paths are unused

Like rm=foo and foo doesn't exist.
fdroidserver/common.py diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.