diff options
| author | Rémi Verschelde <remi@verschelde.fr> | 2021-05-09 14:28:19 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-05-09 14:28:19 +0200 |
| commit | 009674e5d5b8a72f48f83dea2d93eb5268eabed7 (patch) | |
| tree | ac25c7dab10538e1e6c3f45f542d00f42c9c4f1f /thirdparty/misc | |
| parent | a8a51cd75c94268b7ca8fa1a82a144fd9da9d69e (diff) | |
| parent | 7350f90c579ce6db0be3cf67175778546459322e (diff) | |
Merge pull request #48583 from Calinou/doc-os-get-unique-id-caveats
Document caveats of `OS.get_unique_id()`
Diffstat (limited to 'thirdparty/misc')
0 files changed, 0 insertions, 0 deletions