Kazu Yamamoto 190dc2ac51 try to fix Travis CI.		2014-08-20 11:59:44 +09:00
..
GhcMod	try to fix Travis CI.	2014-08-20 11:59:44 +09:00
GhcMod.hs	Fix merge conflict, dropdown-list no longer needed	2014-08-14 18:02:58 +02:00