Julien Duponchelle 2f0e2260ab Move the generation of the list of ports to the server ... Ref #676		2016-09-14 15:21:37 +02:00
..
after	Move the generation of the list of ports to the server	2016-09-14 15:21:37 +02:00
before	Migration to 2.0 rename instructions.txt to README.txt	2016-07-13 09:58:53 +02:00