view bin/makelistlist shachaf @ 8956:287d8f77401a

<oerjan> revert
author HackBot
date Thu, 18 Aug 2016 03:52:12 +0000
parents 01e891f57fd6
children
line wrap: on
line source

echo -n "$(basename "$0")${@:+ }$@: "; tail -n+2 "$0" | xargs; exit