# HG changeset patch
# User Tero Marttila <terom@fixme.fi>
# Date 1244043377 -10800
# Node ID 73aef1124b67797076e6f069f6acb993e111d039
# Parent  1fee720888c9856c8f041b21f4c2cfa90f004970
make detool.py executable