diff options
| author | Rémi Verschelde <remi@verschelde.fr> | 2021-06-03 13:26:33 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-06-03 13:26:33 +0200 |
| commit | b80494e6331bdfbfd3c754aa225fa2a5105fb917 (patch) | |
| tree | 8aec7ffda7f4d9cf23760e89e2087b4a84fa6ea6 /editor/editor_fonts.h | |
| parent | d7f17187426c6ec334c52213db879a4fc2756c10 (diff) | |
| parent | e849157e074fdc302be9e7f7a891bea53ed5cee3 (diff) | |
Merge pull request #47922 from RoniPerson/patch-3
Added documentation to some `add_*_plugin` methods
Diffstat (limited to 'editor/editor_fonts.h')
0 files changed, 0 insertions, 0 deletions