Skip to content

Resolve "tools: generate version information in gen_sourceid.py"

Closes #33 (closed)

Edited by Dimitris Lampridis

Merge request reports