f202d997f4
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 |