genode/repos/ports/lib
Christian Helmuth b7fffb1b24 abi: remove duplicates and internal symbols, fix sizes
The most important part of this patch are symbol-size changes, which
potentially lead to data corruption.

Issue #2639
2018-01-17 12:14:42 +01:00
..
import vbox: enable guest additions 2014-05-27 13:45:58 +02:00
mk Exclude higher-level repos from strict warnings 2018-01-17 12:14:36 +01:00
symbols abi: remove duplicates and internal symbols, fix sizes 2018-01-17 12:14:42 +01:00