merge to head

[mom.git] / Makefile

diff --git a/Makefile b/Makefile
index 9b75c7f..46777cc 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -4,7 +4,7 @@
 # Mark Huang <mlhuang@cs.princeton.edu>
 # Copyright (C) 2006 The Trustees of Princeton University
 #
-# $Id$
+# $Id: Makefile,v 1.3.4.2 2006/08/24 20:16:14 mlhuang Exp $
 #
 
 ALL := leak