# HG changeset patch
# User HackBot
# Date 1519782812 0
# Node ID ad328c460299eb7348bb4fd6c71c8674ec4084a5
# Parent  3f1e458cdd111dce4d79103622294a110943ba34
<wob_jonas> rm bin/ehlist

diff -r 3f1e458cdd11 -r ad328c460299 bin/ehlist
--- a/bin/ehlist	Wed Feb 28 01:51:26 2018 +0000
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,2 +0,0 @@
-echo -n "$(basename "$0")${@:+ }$@: "; tail -n+2 "$0" | xargs; exit
-b_jonas