christos 4efd5405d6 make umount NAME= work		2020-04-23 04:21:13 +00:00
..
Makefile	make umount NAME= work	2020-04-23 04:21:13 +00:00
umount.8	…
umount.c	make umount NAME= work	2020-04-23 04:21:13 +00:00