git.onelab.eu Git - mom.git/commit

author	Mark Huang <mlhuang@cs.princeton.edu>
	Tue, 30 May 2006 17:43:02 +0000 (17:43 +0000)
committer	Mark Huang <mlhuang@cs.princeton.edu>
	Tue, 30 May 2006 17:43:02 +0000 (17:43 +0000)
commit	0fa27e7f8d24222798cfa106de73d539ecd1be16
tree	064a2c500e68a42f86064acaec1f42deeb6401b4	tree \| snapshot
parent	8d2808e2607471b6a660d6f296fb2d334ddfa044	commit \| diff

- merge revision 1.22
date: 2006/05/30 17:42:00; author: mlhuang; state: Exp; lines: +8 -1
- stop old version of pl_mom before upgrading