Timestamp:
13.10.2014 18:25:15 (5 years ago)
Author:
ak19
Message:

Removing wget-1.13.4-gs since it has been replaced by wget-1.15-gs, which was found necessary to get diffcol to work again on the Ubuntu 64 bit machine (regular Ubuntu machine, not the 64 bit VM release machine)

Files:
1 removed