# HG changeset patch
# User HackBot
# Date 1360713451 0
# Node ID d1a37168d090fbc526e95f90dd029f1f90ca14f5
# Parent  f5aafcc3e08310c1e5e8685a5451340dd7eac42a
<shachaf> sed -i \'/Sgeo/d\' bin/smlist # does this work?help

diff -r f5aafcc3e083 -r d1a37168d090 bin/smlist
--- a/bin/smlist	Tue Feb 12 23:55:04 2013 +0000
+++ b/bin/smlist	Tue Feb 12 23:57:31 2013 +0000
@@ -2,4 +2,3 @@
 shachaf
 monqy
 elliott
-Sgeo