Skip to content
Projects
Groups
Snippets
Help
Loading...
Sign in
Toggle navigation
P
Platform-independent core collection
Project
Project
Details
Activity
Cycle Analytics
Repository
Repository
Files
Commits
Branches
Tags
Contributors
Graph
Compare
Charts
Issues
18
Issues
18
List
Board
Labels
Milestones
Merge Requests
5
Merge Requests
5
Wiki
Wiki
image/svg+xml
Discourse
Discourse
Members
Members
Collapse sidebar
Close sidebar
Activity
Graph
Charts
Create a new issue
Commits
Issue Boards
Open sidebar
Projects
Platform-independent core collection
Merge Requests
!21
Merged
Opened
Dec 15, 2022
by
Dimitris Lampridis
@dlampridis
Options
Report abuse
Report abuse
Resolve "tools: generate version information in gen_sourceid.py"
Closes
#33 (closed)
Closes #33
Edited
Dec 15, 2022
by
Dimitris Lampridis
👍
0
👎
0
Discussion
2
Commits
3
Changes
1
Revert this merge request
×
This will create a new commit in order to revert the existing changes.
Revert in branch
master
Switch branch
Cancel
A new branch will be created in your fork and a new merge request will be started.
Cherry-pick this merge request
×
Pick into branch
master
Switch branch
Cancel
A new branch will be created in your fork and a new merge request will be started.