mirror of
https://github.com/mmueller41/genode.git
synced 2026-01-22 04:52:56 +01:00
This commit enables compile-time warnings displayed whenever a deprecated API header is included, and adjusts the existing #include directives accordingly. Issue #1987