use non .coblitz tag for NodeManager
authorMarc Fiuczynski <mef@cs.princeton.edu>
Wed, 7 Oct 2009 13:06:30 +0000 (13:06 +0000)
committerMarc Fiuczynski <mef@cs.princeton.edu>
Wed, 7 Oct 2009 13:06:30 +0000 (13:06 +0000)
commitf2f92ff296cc6af203c46186a1e70a996a9ee4d8
treef215e5a6b9337cc7a8e29b95f48636c7626ecbc8
parenta2afb2b580092125ad39c224cc1b47e573c17a07
use non .coblitz tag for NodeManager
coblitz-tags.mk