summaryrefslogtreecommitdiff
path: root/doc/tools/doc_status.py
diff options
context:
space:
mode:
authorPoommetee Ketson <poommetee@protonmail.com>2017-12-01 11:26:02 +0700
committerGitHub <noreply@github.com>2017-12-01 11:26:02 +0700
commit643200c4d24e2b4479c17bbc1a3d176e3e51d95f (patch)
tree552a6890e71fa27153fd2d1e16c72f59f1a4b135 /doc/tools/doc_status.py
parentd2e05b6e9bca9fcc9b7acaa74b4dbc7602982bbc (diff)
parent2336927043db918167c851dcfe41dc15ffff72b2 (diff)
Merge pull request #13417 from AndreaCatania/patch-1
Fixed bullet server null pointer check
Diffstat (limited to 'doc/tools/doc_status.py')
0 files changed, 0 insertions, 0 deletions