diff options
| author | Alberto Ruiz <aruiz@um.es> | 2011-12-23 14:21:36 +0100 |
|---|---|---|
| committer | Alberto Ruiz <aruiz@um.es> | 2011-12-23 14:21:36 +0100 |
| commit | d0eb68801e7c8de0996f6799db5ea691588467fa (patch) | |
| tree | e72251dc5013e316b89402685626be44a5f253e8 /examples/devel | |
| parent | 863fd69b44d6e65544973871043d89d1d6c50a9e (diff) | |
ok also with ghc-7.0
Diffstat (limited to 'examples/devel')
0 files changed, 0 insertions, 0 deletions