diff options
| author | Rémi Verschelde <remi@verschelde.fr> | 2021-08-12 20:36:20 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-08-12 20:36:20 +0200 |
| commit | 244295a0c2bfc49b927601e236a4a286dda82f56 (patch) | |
| tree | 5611fd3e960f21261e0a9ece1c234f5bfb056ffd /thirdparty/rvo2 | |
| parent | 5e0838c58e62553c66c632e36a802a73b9fa57a2 (diff) | |
| parent | 1942e0c1171dbd5a00d323114106cf4714608d18 (diff) | |
Merge pull request #51579 from Calinou/doc-editorfilesystem-get-file-type
Fix incorrect descriptions for EditorFileSystem's `get_file_type()`
Diffstat (limited to 'thirdparty/rvo2')
0 files changed, 0 insertions, 0 deletions