The directories mnt and dev are no longer offered as home directories by default

Votes: 0

The directories mnt and dev are no longer offered as home directories by default

Type
Task
Status
Fertig
Assignee
Daniel Welzl
Last Update
May 20th 2020
Fixed version
1.0.8-9