view bin/emptylist @ 5059:2e2dd5896e36

<oerjan> sed -i \'/!9/d\' "index.html?dl=1812"
author HackBot
date Wed, 15 Oct 2014 22:32:32 +0000
parents 4bcd1570f7de
children 45e95842eb85
line wrap: on
line source

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