genode/repos/demo
Norman Feske 807be83b1b Remove inconsistent use of 'is_' prefix
Fixes #1963
2016-05-23 15:52:39 +02:00
..
doc Move repositories to 'repos/' subdirectory 2014-05-14 16:08:00 +02:00
include Remove inconsistent use of 'is_' prefix 2016-05-23 15:52:39 +02:00
lib Move repositories to 'repos/' subdirectory 2014-05-14 16:08:00 +02:00
src Remove inconsistent use of 'is_' prefix 2016-05-23 15:52:39 +02:00