diff options
| author | Erich Eckner <git@eckner.net> | 2017-06-29 10:00:44 +0200 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2017-06-29 10:00:44 +0200 |
| commit | 3339ed196df01429029861957ce3e53311f14767 (patch) | |
| tree | 17b4eb248dc01a01b8f2ae68e039021d15fea401 /bin/seed-build-list | |
| parent | 0a9b49c48119892c259012085ee37442b6b1e45d (diff) | |
| download | builder-3339ed196df01429029861957ce3e53311f14767.tar.xz | |
bin/db-update: only umount if mounted
Diffstat (limited to 'bin/seed-build-list')
0 files changed, 0 insertions, 0 deletions