make the separator configurable
authorGiuseppe Lettieri <g.lettieri@iet.unipi.it>
Wed, 5 Sep 2012 17:33:01 +0000 (19:33 +0200)
committerGiuseppe Lettieri <g.lettieri@iet.unipi.it>
Wed, 5 Sep 2012 17:33:01 +0000 (19:33 +0200)
commit93cf050b0c97bdd2cc9e37ce94a84faa07e999a5
tree8b39ecaf502bb0f468f10ede261aa2de3a29b2a9
parent0cd5f6cbc285e34b4cf945de94db1a18a7cfec2d
make the separator configurable
planetlab/exp-tool/Makefile