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/Makefile | |
| 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/Makefile')
0 files changed, 0 insertions, 0 deletions