diff options
| author | Ricardo Wurmus <rekado@elephly.net> | 2022-12-20 22:15:00 +0100 |
|---|---|---|
| committer | Ricardo Wurmus <rekado@elephly.net> | 2022-12-20 22:15:00 +0100 |
| commit | 787572cd37b0747bc47038e49d98051664ff468c (patch) | |
| tree | 133bb2336f5878ea28a271373fc396ad3bed880c /pre-inst-env.in | |
| parent | 7dcdf2572379d5b09d1421af016c2bf1196a94f1 (diff) | |
html: Fix style of comment box and message headers.
Diffstat (limited to 'pre-inst-env.in')
0 files changed, 0 insertions, 0 deletions