Nikolay Yakimov 98b2e4dac2 Since a backend option, remove encoding short opt		2016-02-09 12:42:47 +03:00
..
GHCMod	Since a backend option, remove encoding short opt	2016-02-09 12:42:47 +03:00
GHCMod.hs	Add option for stdio encoding, set stdin encoding	2016-02-09 12:38:12 +03:00
GHCModi.hs	src: drop unused DeriveDataTypeable	2015-11-03 16:49:52 +04:00