diff options
author | Alberto Ruiz <aruiz@um.es> | 2009-05-04 10:11:04 +0000 |
---|---|---|
committer | Alberto Ruiz <aruiz@um.es> | 2009-05-04 10:11:04 +0000 |
commit | 38d7b765f024b1f1aa42daf8b94050e43383ebec (patch) | |
tree | 22b6eb80feff5b611c8c292ec5cf1c822fdceb8b /examples/deriv.hs | |
parent | 03cab9651b0c3d4de1f1830c9ff5cebfd7fbb3aa (diff) |
minor change in configure.hs
Diffstat (limited to 'examples/deriv.hs')
0 files changed, 0 insertions, 0 deletions