diff options
| author | davve <davve@dtek.chalmers.se> | 2007-02-04 19:33:02 +0000 |
|---|---|---|
| committer | davve <davve@dtek.chalmers.se> | 2007-02-04 19:33:02 +0000 |
| commit | b07ed2188bb5f5824d27ee821b3d6e2549618963 (patch) | |
| tree | 5caa67a9aec6bf61c91c276fffffaa728829bc3e /examples/Bug1.hs | |
| parent | 2c223f8d84c97062e90ad87d5752b3c0e17b450d (diff) | |
Comment out minf_iface based stuff
Diffstat (limited to 'examples/Bug1.hs')
0 files changed, 0 insertions, 0 deletions