diff options
author | Rémi Verschelde <remi@verschelde.fr> | 2016-04-22 18:07:17 +0200 |
---|---|---|
committer | Rémi Verschelde <remi@verschelde.fr> | 2016-04-22 18:07:17 +0200 |
commit | 7d89a8b7481c1e172958010366b3735b6d000591 (patch) | |
tree | 0ffa2b5fbe1d4ca52cfe83e204841ae9ab7abbb9 /tools/editor/addon_editor_plugin.cpp | |
parent | 79df52b57e92c7f30ee8b01c55b7cc7d0a0b2215 (diff) | |
parent | c9340cdcc622d3352eb78d3f0480cd5f9fe2b169 (diff) |
Merge pull request #4402 from bojidar-bg/docteam-add-helper
Add a python script to check the current doc status
Diffstat (limited to 'tools/editor/addon_editor_plugin.cpp')
0 files changed, 0 insertions, 0 deletions