diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2020-11-16 22:32:38 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-11-16 22:32:38 +0100 |
| commit | bffa95fc07607a55da67b785f44ab24197a80061 (patch) | |
| tree | b8713042db34385ea21b5d812d49e14072b80cc0 /thirdparty/misc | |
| parent | 900e5ffdd8fe891b07219a7d04747f488f4d5419 (diff) | |
| parent | b8145c182bc1ac5e2cf7d84aad587a8ada11fe7a (diff) | |
Merge pull request #43537 from KoBeWi/🌳🗎🔧
Correct the doc about Tree.get_edited
Diffstat (limited to 'thirdparty/misc')
0 files changed, 0 insertions, 0 deletions