nodemanager rpms have new names; we just use plain ‘nodemanager’ and tweak nodemanage...
authorThierry Parmentelat <thierry.parmentelat@inria.fr>
Fri, 17 Jan 2014 09:36:25 +0000 (10:36 +0100)
committerThierry Parmentelat <thierry.parmentelat@inria.fr>
Fri, 17 Jan 2014 09:36:25 +0000 (10:36 +0100)

No differences found