ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2025-06-17 14:48:20 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity
7,481 Commits 2 Branches 73 Tags
7e7cb15bd195cdcb909609db36f489f3115fe46d
Commit Graph

2 Commits

Author SHA1 Message Date
Norman Feske
b1b70e6c35 tool/link.h: remove outdated comment 2018-05-30 13:36:29 +02:00
Christian Prochaska
2706e4cd75 tool_chain: cleanup 
Fixes #1517
 2015-05-26 09:39:49 +02:00