merge changes from HEAD

[mom.git] / pl_mop.sh

diff --git a/pl_mop.sh b/pl_mop.sh
index 2400d2a..a1d7b21 100755 (executable)
--- a/pl_mop.sh
+++ b/pl_mop.sh
@@ -5,7 +5,7 @@
 # Mark Huang <mlhuang@cs.princeton.edu>
 # Copyright (C) 2005 The Trustees of Princeton University
 #
-# $Id: pl_mop.sh,v 1.7 2006/05/09 22:26:31 mlhuang Exp $
+# $Id: pl_mop.sh,v 1.5.2.2 2006/08/24 20:16:14 mlhuang Exp $
 #
 
 PATH=/sbin:/usr/sbin:$PATH