chiark / gitweb /
Possibly fix for issue #533
authordaid <daid303@gmail.com>
Thu, 15 Aug 2013 11:54:10 +0000 (13:54 +0200)
committerdaid <daid303@gmail.com>
Thu, 15 Aug 2013 11:54:10 +0000 (13:54 +0200)
commitd5a9e252303af1bd28bea9a51b5ae008fdbdd44f
tree4e42976f7abf7315cc10aa17e0a3af905ec7de41
parent2164e7a0f0a597bff9752c92dd194afd68a76713
Possibly fix for issue #533
build_app.py