tree 557afcd83537b108b74806ebf9c14a6ef6ff863c
parent fe260325e21004f024370aadb29e2f643977ebc2
author Nico Huber <nico.huber@secunet.com> 1704909193 +0100
committer Nico Huber <nico.huber@secunet.com> 1704909193 +0100

ext2: Re-work file-name version of Open() to ease proving