diff options
| author | David Waern <david.waern@gmail.com> | 2011-11-25 02:30:41 +0100 |
|---|---|---|
| committer | David Waern <david.waern@gmail.com> | 2011-11-25 02:30:41 +0100 |
| commit | 7a6b3777157e2a1e63d662b354104229cf773342 (patch) | |
| tree | ba8ac1ba1e3f5ef7f21d17a6a293c25adc4eda81 /examples/Bug10.hs | |
| parent | 3bdd9282ce67d1094c36204e77e3f32356a2c059 (diff) | |
Add flag --interface-version.
Diffstat (limited to 'examples/Bug10.hs')
0 files changed, 0 insertions, 0 deletions