tree 3ac833dcdb90c38c07a0bcf482035d7412e85695
parent 0bf5cc0fc08933cd2478cce0e64fb819c41edde8
parent f24d5ba8ed15913f39f3e4997eca2d08311506a9
author Jan Kundrát <jan.kundrat@cesnet.cz> 1605275449 +0100
committer Gerrit Code Review <gerrit@gerrit.cesnet.cz> 1605275449 +0100

Merge "docs: Update path to gdb"