view bin/emptylist @ 3258:34268e23613e

<oerjan> revert
author HackBot
date Sun, 30 Jun 2013 15:57:44 +0000
parents 1c1bd4bef6f7
children
line wrap: on
line source

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