view bin/emptylist @ 3257:7d53b0b92b04

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

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