Update 'tools/generate_doc_gitcontrol_repos.py'
All checks were successful
gl/check check status: success (7af8c3e47c880d6da21d5e68f71ffa769053b64d)
gl/gate gate status: success (7af8c3e47c880d6da21d5e68f71ffa769053b64d)

This commit is contained in:
Hasko, Vladimir 2023-06-08 18:26:50 +00:00
parent 00fefac3dd
commit 7af8c3e47c