diff options
| author | Rémi Verschelde <remi@verschelde.fr> | 2020-12-16 22:04:39 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-12-16 22:04:39 +0100 |
| commit | fb2465b3c8726a2b86313adf8cd1c19c283a38aa (patch) | |
| tree | 9259c50ec30478a86c9f8722267bdc9a34d62b3e /doc/tools/make_rst.py | |
| parent | 9c39b51c5306333ba210c0a323f4198a258b51bd (diff) | |
| parent | 889f5e44ef099d092977bc463f3d924d57390f79 (diff) | |
Merge pull request #44410 from KoBeWi/project--tools--thisPR
Make tool menu plugins use Callables for callback
Diffstat (limited to 'doc/tools/make_rst.py')
0 files changed, 0 insertions, 0 deletions