diff options
author | simonmar <unknown> | 2002-05-28 11:17:55 +0000 |
---|---|---|
committer | simonmar <unknown> | 2002-05-28 11:17:55 +0000 |
commit | 92baa0e82dd8e78568cd56f72508b48ebfdfdfdb (patch) | |
tree | a3b710d0743d6dcf3f0ea23778398187f98f3f2d /doc/Makefile | |
parent | ef03a1cc8bdfe2255333a0e4087c1a0bfde85956 (diff) |
[haddock @ 2002-05-28 11:17:55 by simonmar]
If an identifier doesn't lex, then just replace it by a DocString.
Diffstat (limited to 'doc/Makefile')
0 files changed, 0 insertions, 0 deletions