Andreas B. Mundt fac98e9f09 Attempt to umount properly.		2023-08-19 13:44:26 +02:00
..
defaults	Switch to cifs for home dirs.	2023-03-15 14:55:33 +01:00
files	umount all user mounts on logout	2023-08-16 10:01:37 +02:00
tasks	Attempt to umount properly.	2023-08-19 13:44:26 +02:00