Been meaning to do this for some time; Android port was last straw. Note that newer versions of the uuid library have a Data.UUID.V4 that generates random UUIDs slightly more cleanly, but Debian has an old version of the library, so I do it slightly round-about. |
||
|---|---|---|
| .. | ||
| Configure.hs | ||
| InstallDesktopFile.hs | ||
| make-sdist.sh | ||
| mdwn2man | ||
| OSXMkLibs.hs | ||
| Standalone.hs | ||
| TestConfig.hs | ||