diff options
| author | Rémi Verschelde <remi@verschelde.fr> | 2022-09-06 18:32:48 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-09-06 18:32:48 +0200 |
| commit | 0c4d578bdf0630d81ab4ef13a8e596c6980b3df9 (patch) | |
| tree | 3390ebab0ed61a65972d8eb3daa6d217541fb34c /doc/classes/CodeHighlighter.xml | |
| parent | 5fb84e5702d7fbfc011c05304500c0b61ef2ef92 (diff) | |
| parent | 8949386382320bc1055ee1d8eb3e86dc94c0ad8e (diff) | |
Merge pull request #65194 from Mickeon/rename-one-shot
Diffstat (limited to 'doc/classes/CodeHighlighter.xml')
0 files changed, 0 insertions, 0 deletions