diff options
| author | simonmar <unknown> | 2002-07-15 16:16:50 +0000 |
|---|---|---|
| committer | simonmar <unknown> | 2002-07-15 16:16:50 +0000 |
| commit | fc515bb7f9484a6fee128462eb63a76ba62a151a (patch) | |
| tree | a84a6b60489f3f45340115064e59367b5312a631 /html | |
| parent | 8f6dfe3413236f67665872e28acb8cec7cc7f364 (diff) | |
[haddock @ 2002-07-15 16:16:50 by simonmar]
Allow multiple sections/subsections before and after a comma in the
export list.
Also at the same time I made the syntax a little stricter (multiple
commas now aren't allowed between export specs).
Diffstat (limited to 'html')
0 files changed, 0 insertions, 0 deletions