change in convenience tool server-loop.sh
authorThierry Parmentelat <thierry.parmentelat@inria.fr>
Mon, 23 Feb 2015 18:02:10 +0000 (19:02 +0100)
committerThierry Parmentelat <thierry.parmentelat@inria.fr>
Mon, 23 Feb 2015 18:02:10 +0000 (19:02 +0100)
commitf60787dbdae954722ae23148060efaa9d27de6d7
tree811ced199e7998ac75d7a4ce97c1723c0fcbc428
parent28af5ce42c11b15989b2524fe5af592e2a8c4dc6
change in convenience tool server-loop.sh
devel/server-loop.sh