]> git.wh0rd.org - home.git/commit
use /proc/mounts for better checking
authorMike Frysinger <vapier@gentoo.org>
Tue, 12 Jun 2012 14:17:00 +0000 (10:17 -0400)
committerMike Frysinger <vapier@gentoo.org>
Tue, 12 Jun 2012 14:17:00 +0000 (10:17 -0400)
commitb0a310486d7bd4af95c3b54ddce582790f9c87c6
treecfac0de008d3f0b1207459c2df24fb5016f8a140
parent619e4d7029ec30128837ef7944c263508e2bc2b9
use /proc/mounts for better checking
.bin/umount-tree