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