diff options
| author | Yuri Rubinsky <chaosus89@gmail.com> | 2022-09-13 10:51:41 +0300 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-09-13 10:51:41 +0300 |
| commit | c4fc47317a46298c5414aa9476fbcdeea6c32f81 (patch) | |
| tree | 4c6e4bc6e9aefa4e3b6c59bd8f65ff121b3dd677 /doc/tools/make_rst.py | |
| parent | f8ec046b14c93adac34d924ccd7ece7d56c9f791 (diff) | |
| parent | d2ba60b4b522e35490be653b3d7b47a79532cce0 (diff) | |
Merge pull request #65736 from Chaosus/vs_fix
Diffstat (limited to 'doc/tools/make_rst.py')
0 files changed, 0 insertions, 0 deletions