summaryrefslogtreecommitdiff
path: root/doc/tools/doc_merge.py
diff options
context:
space:
mode:
authorRĂ©mi Verschelde <rverschelde@gmail.com>2020-02-12 12:54:24 +0100
committerGitHub <noreply@github.com>2020-02-12 12:54:24 +0100
commit70dd7f4e1ae890534692067797c42337c45d3daf (patch)
tree3f73da9fa13c9801f97feb36d784f9ecc064dc00 /doc/tools/doc_merge.py
parent0c7fc80cc19fe9cd609b145245b1bb70f6a41e2e (diff)
parent7bc1dc828f1636cdc9dc253d28a279f18c9c72c8 (diff)
Merge pull request #32293 from hbina/remove_color_gray
Removed Color::gray
Diffstat (limited to 'doc/tools/doc_merge.py')
0 files changed, 0 insertions, 0 deletions