utility for devels to refresh sliver-ovs from sliver-ovs.in
authorThierry Parmentelat <thierry.parmentelat@inria.fr>
Wed, 3 Oct 2012 08:53:17 +0000 (10:53 +0200)
committerThierry Parmentelat <thierry.parmentelat@inria.fr>
Wed, 3 Oct 2012 08:53:17 +0000 (10:53 +0200)
commit8cfd3763fdda694aa9e7b7a0a4da5540602ba710
tree9343434af56eae86741dddbb213c5f6fe73f5f21
parent044d0f5fdd0be1b2bcb8f69d45dc3cab4158ef8b
utility for devels to refresh sliver-ovs from sliver-ovs.in
planetlab/scripts/refresh [new file with mode: 0755]