genode/repos/base-sel4
Adrian-Ken Rueegsegger c2ff0ae9d4 Minor cleanup fixes
- Fix spelling errors
- Remove extra semicolons
- Remove extra spaces

Fixes #1650
2015-08-21 11:00:59 +02:00
..
doc
include
lib
mk
ports
run
src Minor cleanup fixes 2015-08-21 11:00:59 +02:00