merge from HEAD
authorThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Fri, 23 Mar 2007 19:02:00 +0000 (19:02 +0000)
committerThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Fri, 23 Mar 2007 19:02:00 +0000 (19:02 +0000)
commit4e032a0867c7b8d99d0af92fdc2175918338f875
tree51154d46a1e58c1049be857b34e2769f33cb5b7e
parenta4b9f5d6a624c5d5b9c459bba26d07c7fe196094
merge from HEAD
PLC/Methods/RefreshPeer.py