# HG changeset patch
# User gyorgyf
# Date 1365870473 -3600
# Node ID 43ef22a44402ee9b85706f577189a95319d12b82
# Parent  b7b5eddfd2c78995ff48a1ecc1b209325c767586# Parent  f97399f1856474da520e4a36d688eb318ae91f26
merged tonioni to default