diff options
author | Alberto Ruiz <aruiz@um.es> | 2012-01-07 18:51:20 +0100 |
---|---|---|
committer | Alberto Ruiz <aruiz@um.es> | 2012-01-07 18:51:20 +0100 |
commit | 776f4b9fbda8eeec006b24ed5f1548be752eae3c (patch) | |
tree | cfafa35ecc9bcb5562b3cd648e98c20d4fceaa58 /Config.hs | |
parent | 97e7156b59811bd51d0a9d6060e868eafedfcc75 (diff) |
remove warnings
Diffstat (limited to 'Config.hs')
0 files changed, 0 insertions, 0 deletions