chiark / gitweb /
Purge repo maintenance page cache after updates
authorCiaran Gultnieks <ciaran@ciarang.com>
Thu, 10 Oct 2013 08:47:48 +0000 (09:47 +0100)
committerCiaran Gultnieks <ciaran@ciarang.com>
Thu, 10 Oct 2013 08:47:48 +0000 (09:47 +0100)
commit7b21d12f65f0472ad9e3b0b580a50265b2055c97
tree483d7a1f769d3d8a616cbdccd4e251954ebf1d9c
parentca2d830e7fd6ac17ac7c28dc67b6c8559111fdf5
Purge repo maintenance page cache after updates
fdroidserver/update.py