summaryrefslogtreecommitdiff
path: root/src/poolclient.ml
diff options
context:
space:
mode:
authorAlex AUVOLAT <alex.auvolat@ens.fr>2014-05-24 23:25:07 +0200
committerAlex AUVOLAT <alex.auvolat@ens.fr>2014-05-24 23:25:07 +0200
commit6e750a757ef6fb1f41cf4c2fe39edba834b76858 (patch)
treef339630beb8a9a1a6f3544b40547ce9c83f23a91 /src/poolclient.ml
parentc5e69a904e79e807c5b075c08ce82183133e7b4c (diff)
downloadSystemeReseaux-Projet-6e750a757ef6fb1f41cf4c2fe39edba834b76858.tar.gz
SystemeReseaux-Projet-6e750a757ef6fb1f41cf4c2fe39edba834b76858.zip
./manager -local-proc 4 ./example.native does what expected.
Diffstat (limited to 'src/poolclient.ml')
0 files changed, 0 insertions, 0 deletions