# HG changeset patch
# User HackBot
# Date 1434092814 0
# Node ID 2e62ffaabae2d40de237c1ebf1457ff0df38c3c5
# Parent  35b8e834741effd59b2514d70799a494901991ce
<shachaf> ` chmod +x bin/mke

diff -r 35b8e834741e -r 2e62ffaabae2 bin/mke