diff options
author | simonmar <unknown> | 2002-04-09 11:23:24 +0000 |
---|---|---|
committer | simonmar <unknown> | 2002-04-09 11:23:24 +0000 |
commit | 2d73fd75b8b17c660d2da5cf12c51d064028bdee (patch) | |
tree | 2b33b391122ec14e12de85eede5dfc2b7ba0beb8 /src/BlockTable.hs | |
parent | e4627dc83e619f89a99e662733e47f78efa60622 (diff) |
[haddock @ 2002-04-09 11:23:24 by simonmar]
Add '-- /' as a synonym for '-- |', for compatibility with IDoc.
Diffstat (limited to 'src/BlockTable.hs')
0 files changed, 0 insertions, 0 deletions