correct switch name
[debian6500.git] / debian-rep / install /
2014-10-31  Thomas Pérennou... Move install/* to .