genode/repos/gems/include/depot
Norman Feske 9e0dafbd93 depot_query: move 'Archive' utils to include/depot
This enables other depot tools to use the same utilities.
2018-01-17 12:14:38 +01:00
..
archive.h depot_query: move 'Archive' utils to include/depot 2018-01-17 12:14:38 +01:00