Emery Hemingway 0a01edded2 Path::strip_last_element removes path delimiter ... Remove the trailing slash of a path where the path is not "/". New Path::append_element convenience function. Fixes #1744		2016-06-28 11:09:27 +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	Path::strip_last_element removes path delimiter	2016-06-28 11:09:27 +02:00