diff options
| author | Magnus Hagander <magnus@hagander.net> | 2007-03-13 14:28:30 +0000 |
|---|---|---|
| committer | Magnus Hagander <magnus@hagander.net> | 2007-03-13 14:28:30 +0000 |
| commit | f32515df776150faff5c0a97ab275cc3d480288b (patch) | |
| tree | eb10da818fc93787a98d20b4003cd95403eb2aa3 /doc/src | |
| parent | e40889adb298738c09127e59d774b63cf8fcc241 (diff) | |
Filter out warnings coming from the stylesheets, so that actual warnings show up properly.
Show some minor progress messages.
Diffstat (limited to 'doc/src')
0 files changed, 0 insertions, 0 deletions