Norman Feske 807be83b1b Remove inconsistent use of 'is_' prefix ...

Fixes #1963

2016-05-23 15:52:39 +02:00

..

listener.h

Remove Genode namespace from File_system

2016-01-08 14:48:52 +01:00

node_handle_registry.h

obscure File_system::Out_of_node_handles exception

2016-04-25 10:47:52 +02:00

node.h

Remove Genode namespace from File_system

2016-01-08 14:48:52 +01:00

util.h

Remove inconsistent use of 'is_' prefix

2016-05-23 15:52:39 +02:00