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)
commitbd0d345544e66f46264e25daf4b492f7cd808f73
tree84de8d2eb7303da615d6e1e6cb4d9d7efae83c94
parent0d6e51ebaa7f6315de3f559a1b15909120123441
nodemanager rpms have new names; we just use plain ‘nodemanager’ and tweak nodemanager’s packaging so that it provides that name
NodeUpdate.py