chiark / gitweb /
agpl.py (dump_dir): Replace unpleasant control-flow variable with an escape.