ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2025-02-08 12:20:21 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity
genode/repos/base-okl4/run
History
Norman Feske f119d9ee8b base: use [build_artifacts] in run scripts 
The patch also removes a few legacies along the way, unifies the coding
style, and cuts back superfluous comments.

Issue #4860
2023-05-30 12:03:26 +02:00
..
priority.run
base: use [build_artifacts] in run scripts
2023-05-30 12:03:26 +02:00