# HG changeset patch # User Paul Boddie # Date 1444496060 -7200 # Node ID cd6bc22cd40bc0e28fa10424c4ce896bce31ecbb # Parent 691915f35240303de7fff07d55b39ef0d5e3f7bb# Parent 0be3368c04c4b463b910317e5f0227439ef02b7b Update permissions. diff -r 691915f35240 -r cd6bc22cd40b optimiser.py