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 /lib | |
| parent | 03cab9651b0c3d4de1f1830c9ff5cebfd7fbb3aa (diff) | |
minor change in configure.hs
Diffstat (limited to 'lib')
0 files changed, 0 insertions, 0 deletions