# HG changeset patch
# User HackBot
# Date 1363264831 0
# Node ID db083bb18481b726f9c10be92a868bbd232fa39d
# Parent  fbd76c40b8cf323230665c3e28d174771407e804
<Phantom_Hoover> rm bin/?*list

diff -r fbd76c40b8cf -r db083bb18481 bin/emptylist
--- a/bin/emptylist	Thu Mar 14 12:28:22 2013 +0000
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,1 +0,0 @@
-echo -n "$(basename "$0"): "; tail -n+2 "$0" | xargs; exit
diff -r fbd76c40b8cf -r db083bb18481 bin/instalist
--- a/bin/instalist	Thu Mar 14 12:28:22 2013 +0000
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,1 +0,0 @@
-echo $@
diff -r fbd76c40b8cf -r db083bb18481 bin/makelist
--- a/bin/makelist	Thu Mar 14 12:28:22 2013 +0000
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,1 +0,0 @@
-cp bin/emptylist bin/"$1"
diff -r fbd76c40b8cf -r db083bb18481 bin/mlist
--- a/bin/mlist	Thu Mar 14 12:28:22 2013 +0000
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,1 +0,0 @@
-echo Seeing a philosopher
diff -r fbd76c40b8cf -r db083bb18481 bin/olist
--- a/bin/olist	Thu Mar 14 12:28:22 2013 +0000
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,4 +0,0 @@
-echo -n "$(basename "$0"): "; tail -n+2 "$0" | xargs; exit
-shachaf
-oerjan
-Sgeo
diff -r fbd76c40b8cf -r db083bb18481 bin/pbflist
--- a/bin/pbflist	Thu Mar 14 12:28:22 2013 +0000
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,4 +0,0 @@
-tail -n+2 "$0" | xargs; exit
-shachaf
-Sgeo
-quintopia
diff -r fbd76c40b8cf -r db083bb18481 bin/slist
--- a/bin/slist	Thu Mar 14 12:28:22 2013 +0000
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,9 +0,0 @@
-echo -n "$(basename "$0"): "; tail -n+2 "$0" | xargs; exit
-Taneb
-atriq
-Ngevd
-Fiora
-nortti
-Sgeo
-ThatOtherPerson
-alot
diff -r fbd76c40b8cf -r db083bb18481 bin/smlist
--- a/bin/smlist	Thu Mar 14 12:28:22 2013 +0000
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,4 +0,0 @@
-echo -n "$(basename "$0"): "; tail -n+2 "$0" | xargs; exit
-shachaf
-monqy
-elliott
diff -r fbd76c40b8cf -r db083bb18481 bin/testlist
--- a/bin/testlist	Thu Mar 14 12:28:22 2013 +0000
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,2 +0,0 @@
-echo foo
-echo bar