kili 04b85e65bd Add a little helper script that fixes / cleans up plists of hs-* ports.

2015-09-01 09:58:00 +00:00

..

fixup-hs-plist

Add a little helper script that fixes / cleans up plists of hs-* ports.

2015-09-01 09:58:00 +00:00