minor change in case noderepo gets installed before myplc is started
authorThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Mon, 22 Mar 2010 13:11:17 +0000 (13:11 +0000)
committerThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Mon, 22 Mar 2010 13:11:17 +0000 (13:11 +0000)

No differences found