diff options
author | Justus Winter <4winter@informatik.uni-hamburg.de> | 2013-08-15 08:23:17 +0200 |
---|---|---|
committer | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2013-08-29 01:19:02 +0200 |
commit | 69c5f5e4421f231cc3ed94de8b19afc11cdec66f (patch) | |
tree | 0c61cdb536c930f723c5e35a2bc1edd26fb1c4a2 /term/Makefile | |
parent | bcca1a329595eb98e12d83f32fc7f5f0fc0bd379 (diff) |
umount: add a umount utility
This adds a umount utility that implements most of the functions that
the Linux umount utility provides, especially that subset that is used
by the Debian package initscripts.
* utils/umount.c: New file.
Diffstat (limited to 'term/Makefile')
0 files changed, 0 insertions, 0 deletions