# HG changeset patch # User HackBot # Date 1463241114 0 # Node ID 47e94fe712f656651444baf6804cd1032fd9bc7b # Parent a5489fab6c075402f335410fcdd71b7fcda8d210 mkx bin/if//bash -c "if $@" diff -r a5489fab6c07 -r 47e94fe712f6 bin/if --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/bin/if Sat May 14 15:51:54 2016 +0000 @@ -0,0 +1,1 @@ +bash -c "if $@"