r39: Renamed carnet-tools.8 to carnet-tools.7
authorDamir Dzeko <Damir.Dzeko@CARNet.hr>
Thu, 31 Mar 2005 07:44:04 +0000 (07:44 +0000)
committerDamir Dzeko <Damir.Dzeko@CARNet.hr>
Thu, 31 Mar 2005 07:44:04 +0000 (07:44 +0000)
commit7ffd1ec8deed02002064cbe340d2b1aa2c812e95
tree479fde3b0585da3d7eb7923543c41234fae184d0
parentf98b8bf1105eb129c91f8263555a708ae7523b86
r39: Renamed carnet-tools.8 to carnet-tools.7
carnet-tools.7 [moved from carnet-tools.8 with 95% similarity]