chiark / gitweb /
~ianmdlvl / fdroidserver.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 7809ef4) | patch
update: use sets for permissions and features to avoid duplicates
authorDaniel Martí <mvdan@mvdan.cc>
Tue, 5 Aug 2014 21:04:21 +0000 (23:04 +0200)
committerDaniel Martí <mvdan@mvdan.cc>
Tue, 5 Aug 2014 21:04:21 +0000 (23:04 +0200)
commit7ac0c5abb2d3021645a64f3f37797894cd752c66
tree55ea66a29d7f5ea3d3ddabad8240c27d61133195tree | snapshot
parent7809ef419f6dcd7f4898ddc0c51db7286fd30a59commit | diff
update: use sets for permissions and features to avoid duplicates
fdroidserver/update.py diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.