diff options
author | Roy Marples <roy@marples.name> | 2008-11-04 11:30:15 +0000 |
---|---|---|
committer | Roy Marples <roy@marples.name> | 2008-11-04 11:30:15 +0000 |
commit | 42e6a95b1d691b2fcdb49cd57f8ae94acbe27a2c (patch) | |
tree | 19727d3a3b7aef12d0ea23ead1f20d3652d9574d /doc/Makefile | |
parent | 45044c9239ef5eb06a3cc9e5110131cd0d8210ef (diff) |
Move romount to mount-ro and use the umount -r option as it's more reliable for / --bind mounts, Gentoo #239922. Thanks to Duncan.
Diffstat (limited to 'doc/Makefile')
0 files changed, 0 insertions, 0 deletions