diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2024-05-14 12:07:14 +0200 |
|---|---|---|
| committer | Rémi Verschelde <rverschelde@gmail.com> | 2024-05-14 12:07:14 +0200 |
| commit | 2f1aaca167aea1cd95e6bf4e17fe812a5a6975b6 (patch) | |
| tree | 6f8845b6cbd002ae114ea4a19ce02d0803e28f9c /doc/tools/make_rst.py | |
| parent | 147e73732849eab3ff328135c8a4cf1af5fd08ec (diff) | |
| parent | d33e79f29976f523068cfd3cc2161f0995ff3ffe (diff) | |
| download | redot-engine-2f1aaca167aea1cd95e6bf4e17fe812a5a6975b6.tar.gz | |
Merge pull request #91927 from timothyqiu/monitor-names
Make performance monitor names translatable
Diffstat (limited to 'doc/tools/make_rst.py')
0 files changed, 0 insertions, 0 deletions