summaryrefslogtreecommitdiff
path: root/doc/tools/make_rst.py
diff options
context:
space:
mode:
authorCamille Mohr-Daurat <pouleyKetchoup@gmail.com>2021-10-27 12:40:50 -0700
committerGitHub <noreply@github.com>2021-10-27 12:40:50 -0700
commit3c527dcbbdaa6a92b00c3ccd44c22347f1d3c5bc (patch)
tree66951d5d64ff8f21f6a26004e5336802a4ce20c4 /doc/tools/make_rst.py
parent21529c90f89c8f045851fa678aaaf67a9b7bbb3a (diff)
parent258b5d001968aea99d2d7a2eea98a8032da34349 (diff)
Merge pull request #54157 from bjauny/fix_potential_nullpointer_collision3d
Fix potential null pointer use, based on #54094 fix
Diffstat (limited to 'doc/tools/make_rst.py')
0 files changed, 0 insertions, 0 deletions