diff options
| author | David Waern <david.waern@gmail.com> | 2009-03-27 21:19:22 +0000 |
|---|---|---|
| committer | David Waern <david.waern@gmail.com> | 2009-03-27 21:19:22 +0000 |
| commit | 2265cf668d9604d407a06e11df804fc73242de00 (patch) | |
| tree | 7ec47c1fac248ddcc85360012af2fcf3e490a925 /examples/Bug3.hs | |
| parent | 2c2c603e58b73b646c3fe025a1d7d5570ce5739b (diff) | |
Remove docNameOrig and use getName everywhere instead
Diffstat (limited to 'examples/Bug3.hs')
0 files changed, 0 insertions, 0 deletions