diff options
| author | Rémi Verschelde <remi@verschelde.fr> | 2022-02-16 09:43:03 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-02-16 09:43:03 +0100 |
| commit | a2e540f6172b53540386c1461fce368a8164ac49 (patch) | |
| tree | 10e6bf2fc17b718fbe34303d9ff418f0f59bea76 /doc/tools/makerst.py | |
| parent | dbb64e57052babdf2e85914007980f948e1addbc (diff) | |
| parent | f9629deade8407d550447486498e9ee11a235ebb (diff) | |
Merge pull request #58173 from akien-mga/js-build-fix-is_project_manager
Diffstat (limited to 'doc/tools/makerst.py')
0 files changed, 0 insertions, 0 deletions