Merge pull request #258 from KaiHa/ticket/247
authorAndrey Mokhov <andrey.mokhov@gmail.com>
Tue, 31 May 2016 06:10:48 +0000 (07:10 +0100)
committerAndrey Mokhov <andrey.mokhov@gmail.com>
Tue, 31 May 2016 06:10:48 +0000 (07:10 +0100)
commit20d70820a2c2fc7bfecacf79906db129d157846d
treea432a7e25eda67f8c5399584158439e6818e1056
parent45b5f1341e3b400efeaa675ddc9d43d69268ff09
parent123bdb37674bfe60509886ec92c99e80b0588966
Merge pull request #258 from KaiHa/ticket/247

Enable optional UserSettings.hs file