diff options
| author | Rémi Verschelde <remi@verschelde.fr> | 2022-06-28 23:35:53 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-06-28 23:35:53 +0200 |
| commit | b730d2ee09a8fdc4eaa44efe9afc083d907f80c3 (patch) | |
| tree | 0ed1a5563e639656ccc63749a2f53add1733965d /doc/tools | |
| parent | 0cd049e4112ab8d4ee2ebd6869d114bdf754c3bb (diff) | |
| parent | c6291bcd8a49055ce2158f88759a487de5b8d1bd (diff) | |
Merge pull request #60675 from voylin/Add-BBCode-support-for-printing-output
Adding print_rich() for printing with BBCode
Diffstat (limited to 'doc/tools')
0 files changed, 0 insertions, 0 deletions