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