Skip to content
  • kaiha's avatar
    Enable optional UserSettings.hs file · 123bdb37
    kaiha authored
    Fix #247
    
    The defaul user settings are stored in ./src/UserSettings.hs. If the
    user want to override these settings, he can copy this file into ./ and
    make the desired changes to ./UserSettings.hs.
    123bdb37