stuebinm df9319f8a0 bugfix: allow superfluous "/" in paths ... esp. a trailing / as in bahnhof.name/MH/ should not lead to ??.		2023-12-26 01:52:00 +01:00
..
Main.hs	bugfix: allow superfluous "/" in paths	2023-12-26 01:52:00 +01:00