diff options
| author | Ricardo Wurmus <rekado@elephly.net> | 2021-02-20 07:20:01 +0100 |
|---|---|---|
| committer | Ricardo Wurmus <rekado@elephly.net> | 2021-02-20 07:20:01 +0100 |
| commit | 6a2dcc59e1c3df444f027b128169dc0c27c12fd1 (patch) | |
| tree | fd5c1dca753e774d457b266a1e136cc2dda9426a /doc/images | |
| parent | 291a746a1d3b4784d38b05239bdd7b8e796ce761 (diff) | |
Add options for prettier HTML manual.
Diffstat (limited to 'doc/images')
0 files changed, 0 insertions, 0 deletions