diff options
| author | Henrik Tjäder | 2023-11-06 21:33:18 +0000 |
|---|---|---|
| committer | GitHub | 2023-11-06 21:33:18 +0000 |
| commit | 7bc564d3dcdee69555578bbec75d08e6ce227a9e (patch) | |
| tree | bfe3a1b3f4e114f1baf5d61efda99dd3efa1b0b3 /book/theme | |
| parent | f73e9a8d15fd5a87d472a49808baf42ba403f9bf (diff) | |
Theme: Papercolor: Add type.parameter (#8735)
Diffstat (limited to 'book/theme')
0 files changed, 0 insertions, 0 deletions