diff options
| author | Rodrigo Arias Mallo <rodarima@gmail.com> | 2024-08-07 13:38:42 +0200 |
|---|---|---|
| committer | Rodrigo Arias Mallo <rodarima@gmail.com> | 2024-08-07 20:50:53 +0200 |
| commit | 32e67009a994fafc257b042c29ffb76aed7dbe7d (patch) | |
| tree | bcba33c86fe6af3acfa9e2da88cba4c17110499a /doc/Makefile.am | |
| parent | b298347fdcaee0d44b7b0b39f9764fba4cf7415c (diff) | |
Disable CSS messages for now
Long CSS stylesheets may fill the console output hiding important
messages. For now let's disable them, until we improve the mechanism to
select which messages should be enabled at runtime.
Diffstat (limited to 'doc/Makefile.am')
0 files changed, 0 insertions, 0 deletions