mirror of
https://github.com/genodelabs/genode.git
synced 2025-02-20 17:52:52 +00:00
1ead0ea3a7
By clicking on a yellow checkbox in the depot selection dialog, the corresponding index files are removed. This way, index files can be update by removing and downloading them again. This patch also filters out sculpt-managed components from the graph to avoid erratic graph-position changes while the '+' menu is open. Fixes #3193
This directory is a source-code repository containing Genode-specific services and applications. In contrast to the components that come with the 'os' repository, programs contained in 'gems' are able to leverage the functionalities provided by higher-level repositories such as 'libports'. To use the 'gems' repository, make sure to also add those repositories to your build configuraion.