4a397b5313
This adds one extra line of output when a download is successful, after the progress bar. I don't much like that, but wget does not provide a way to show HTTP errors without it. |
||
|---|---|---|
| .. | ||
| BuildVersion.hs | ||
| BundledPrograms.hs | ||
| collect-ghc-options.sh | ||
| Configure.hs | ||
| DesktopFile.hs | ||
| DistributionUpdate.hs | ||
| EvilLinker.hs | ||
| EvilSplicer.hs | ||
| InstallDesktopFile.hs | ||
| LinuxMkLibs.hs | ||
| MakeMans.hs | ||
| Mans.hs | ||
| mdwn2man | ||
| NullSoftInstaller.hs | ||
| OSXMkLibs.hs | ||
| Standalone.hs | ||
| TestConfig.hs | ||
| Version.hs | ||