diff options
| author | simonmar <unknown> | 2004-07-22 08:54:06 +0000 |
|---|---|---|
| committer | simonmar <unknown> | 2004-07-22 08:54:06 +0000 |
| commit | 1d7bc432f61f221c16ecf96903a56a7e5724a587 (patch) | |
| tree | 8a5428499f53db9b8fbd36287f99fd0ae7959d44 /Makefile | |
| parent | 46dec6c5afd0273a03ca7526c4b6af8f1fbaca26 (diff) | |
[haddock @ 2004-07-22 08:54:06 by simonmar]
Add single quote to $ident, so you can say eg. 'foldl'' to refer to
foldl' (the longest match rule is our friend).
Bug reported by Adrian Hey <ahey@iee.org>
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions