# HG changeset patch
# User kleinknecht@ssdt-ohio.org
# Date 1751916220 14400
# Node ID 7afaedb91e68deaabf134776cb9d60e943913f57
# Parent  eac0afd727a80b312ed88a94a701139abfe9971f
make executable, remove unneeded script