Skip to content
Commit af2d5feb authored by Alexander Lohnau's avatar Alexander Lohnau
Browse files

Remove unused user-visible name from directory/file definitions

We do not use this anywhere, but force it on consumers.
Also, the name of the files is considered internal and does not
need to be visible for the user.
parent 9c07f3ee
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment