denshooter/genode
1
0
Fork 0
mirror of https://github.com/mmueller41/genode.git synced 2026-01-21 12:32:56 +01:00
Code Issues Packages Projects Releases Wiki Activity
13,845 Commits 10 Branches 51 Tags
master
Commit Graph

1 Commits

Author SHA1 Message Date
Christian Helmuth
07d02f8d46 tool/port: access to metadata of ports 
Fixes #4685
 2023-01-24 12:17:24 +01:00