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/editor_selection.h | |
| 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/editor_selection.h')
0 files changed, 0 insertions, 0 deletions