3 Commits

Author	SHA1	Message	Date
Jens Petersen	ac1dad3395	update desktop file to quieten rpmgrill DesktopLint warnings ... - key "Encoding" in group "Desktop Entry" is deprecated - [..] key "Categories" in group "Desktop Entry" contains a deprecated value "Application"	2016-10-18 15:35:46 +09:00
Jens Petersen	fb2a936cf1	hide desktop file from desktop menu; use cabal_configure_options, cabal_bin_build, ghc_without_dynamic	2011-03-12 21:56:23 +09:00
Ben Boeckel	43f95312f1	Initial package	2010-09-05 13:42:51 -04:00