add OS version in /etc/trc6500_os_version
[debian6500.git] / debian-rep /
2014-10-31  Thomas Pérennou... Move install/* to .