summaryrefslogtreecommitdiff
path: root/lib
diff options
context:
space:
mode:
authorAlberto Ruiz <aruiz@um.es>2011-09-21 13:00:29 +0000
committerAlberto Ruiz <aruiz@um.es>2011-09-21 13:00:29 +0000
commit0234c29e0467aabf70304ef95375643455f7ff24 (patch)
tree3386015fcf91b24ae733a9e723fceec15c4ccd98 /lib
parent3797b187d1747f1971c112084976fb2808fc87b0 (diff)
fix Config.hs
Diffstat (limited to 'lib')
0 files changed, 0 insertions, 0 deletions