diff options
| author | Erich Eckner <git@eckner.net> | 2017-07-06 22:01:05 +0200 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2017-07-06 22:01:05 +0200 |
| commit | dd1a2cb0a93811a869dcc328cfdfd5bfa8532bcc (patch) | |
| tree | a0cb02169c277b872de6a297336c74f191ad3bcb /Makefile | |
| parent | e38b49ed1e77db16956b2c11b660a7df0f1861d2 (diff) | |
| download | devtools-dd1a2cb0a93811a869dcc328cfdfd5bfa8532bcc.tar.xz | |
archbuild: delete "root" even if it is a mountpoint
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions