diff options
| author | Erich Eckner <git@eckner.net> | 2017-06-22 14:43:23 +0200 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2017-06-22 14:43:23 +0200 |
| commit | ed398c76dee2d2c0f5f4b870bf8379dfdbb583cd (patch) | |
| tree | f75c252f20e7839a1b72ba49729eee50f7048585 /bin/sanity-check | |
| parent | 0847f4d2b2cb347677836fd41220975d2dce9917 (diff) | |
| download | builder-ed398c76dee2d2c0f5f4b870bf8379dfdbb583cd.tar.xz | |
bin/db-update: "sudo umount" instead of "fusermount -u"
Diffstat (limited to 'bin/sanity-check')
0 files changed, 0 insertions, 0 deletions