diff options
| author | simonmar <unknown> | 2002-06-21 12:43:06 +0000 |
|---|---|---|
| committer | simonmar <unknown> | 2002-06-21 12:43:06 +0000 |
| commit | b8dbfe209d85d26d4b89d9d47b7d0604f6e05c46 (patch) | |
| tree | 090b189e1ffb9fcff997e9e449549d39fdb3495f /html | |
| parent | f467a9b6f442dd4ffe823ad36b8879d490f649f8 (diff) | |
[haddock @ 2002-06-21 12:43:06 by simonmar]
When we have a single code block paragraph, don't place it in
<pre>..</pre>, just use <tt>..</tt> to avoid generating extra vertical
white space in some browsers.
Diffstat (limited to 'html')
0 files changed, 0 insertions, 0 deletions