diff options
| author | Malo <57839069+MDLC01@users.noreply.github.com> | 2024-11-17 20:08:23 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-11-17 19:08:23 +0000 |
| commit | 5c37a1cfea2a08b08f4af34ba867748fd90c687e (patch) | |
| tree | d5dec4ae7ff0b3238d84224a325eddc1a1427dee /docs/src/html.rs | |
| parent | 5672cc2a29379f7743f66c46a7192d698a733047 (diff) | |
Use `codex` for symbols (#5421)
Diffstat (limited to 'docs/src/html.rs')
0 files changed, 0 insertions, 0 deletions