diff options
author | Simon Marlow <marlowsd@gmail.com> | 2010-06-23 12:03:27 +0000 |
---|---|---|
committer | Simon Marlow <marlowsd@gmail.com> | 2010-06-23 12:03:27 +0000 |
commit | 3924891dc47a96e13707489b4e55b3fe8d1ce1d7 (patch) | |
tree | 1895adcb65c1f8a48f3cf2d303efaa0eb8a11c86 /examples/Bug6.hs | |
parent | ca857af46ba888ff8fec3f0e93ebbe3343b7abf8 (diff) |
Unresolved identifiers in Doc get replaced with DocMonospaced
rather than plain strings
Diffstat (limited to 'examples/Bug6.hs')
0 files changed, 0 insertions, 0 deletions