Merge with Head.

[mom.git] / pl_mop.sh

diff --git a/pl_mop.sh b/pl_mop.sh
index ad5faac..a14a2df 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$
+# $Id: pl_mop.sh,v 1.8 2007/02/14 20:48:46 faiyaza Exp $
 #
 
 PATH=/sbin:/usr/sbin:$PATH