diff options
| author | simonmar <unknown> | 2002-06-05 09:12:02 +0000 |
|---|---|---|
| committer | simonmar <unknown> | 2002-06-05 09:12:02 +0000 |
| commit | 6d98989cfb607470f3507cb9f33052348d896e17 (patch) | |
| tree | 3bf4ff3c6f493b6ab38b5493ab3773f1a65ec00a /html/Makefile | |
| parent | 53fd105c591a4f89cdd2f7b56f982db871f38e67 (diff) | |
[haddock @ 2002-06-05 09:12:02 by simonmar]
Identifiers in single quotes can be symbol names too (bug reported by
Hal Daume).
Diffstat (limited to 'html/Makefile')
0 files changed, 0 insertions, 0 deletions