diff options
| author | Michael Färber <01mf02@gmail.com> | 2024-12-10 10:57:22 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-12-10 09:57:22 +0000 |
| commit | 17f20c6944d569d5f0bb57caee37d9f208d87d0d (patch) | |
| tree | 9e48c3a6525adb876d06711bc48ef82eb64e59ff /docs | |
| parent | bb0c8140950b3eec020a4f0147bbc4ea65f3952a (diff) | |
Basic HTML pretty-printing (#5533)
Co-authored-by: Laurenz <laurmaedje@gmail.com>
Diffstat (limited to 'docs')
0 files changed, 0 insertions, 0 deletions