Skip to content
GitLab
Explore
Sign in
Projects
Platform-independent core collection
Merge requests
!21
Resolve "tools: generate version information in gen_sourceid.py"
Code
Review changes
Check out branch
Download
Patches
Plain diff
Dimitris Lampridis
requested to merge
33-tools-generate-version-information-in-gen_sourceid-py
into
master
Dec 15, 2022
Overview
2
Commits
3
Changes
1
Expand
Closes
#33 (closed)
Edited
Dec 15, 2022
by
Dimitris Lampridis
Merge request reports