diff options
| author | default <nobody@localhost> | 2022-10-28 21:56:24 +0200 |
|---|---|---|
| committer | default <nobody@localhost> | 2022-10-28 21:56:24 +0200 |
| commit | 9af260f781adc5825eafa040525a3b644d13c835 (patch) | |
| tree | da79f5390f91d7bbd05a1c42ea7bf642a33c0a8e /doc | |
| parent | 9de71755031fb27c891c2b841224d02572d9449e (diff) | |
Also add pre to the valid HTML tags.
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions