# HG changeset patch
# User HackBot
# Date 1360195876 0
# Node ID ed854c3bcf55cecaf18ef14f3601b605e8d9ef52
# Parent  79b45e2443ad6c4566ef077c5e210e53f28a7c99
<oerjan> chmod a+x shove

diff -r 79b45e2443ad -r ed854c3bcf55 shove