diff options
author | 2011-12-15 16:04:08 -0400 | |
---|---|---|
committer | 2011-12-15 16:04:08 -0400 | |
commit | eb132a854ec9098acbc2a3caac5fd09947879268 (patch) | |
tree | 580921f416ca621a71dc214048e53217ab0a8405 /Options.hs | |
parent | 111b6937ec1110feed024deee6fa95cdb78b9c95 (diff) |
avoid partial head function
(although it was used safely)
Diffstat (limited to 'Options.hs')
0 files changed, 0 insertions, 0 deletions