diff options
| author | Jakob Unterwurzacher | 2020-02-15 14:38:13 +0100 |
|---|---|---|
| committer | Jakob Unterwurzacher | 2020-02-15 14:38:13 +0100 |
| commit | 747e99468237caeded8d63741b59393cbbbdfc08 (patch) | |
| tree | 85ea022a25022368e9ff24c19df8daa7d1f7b0ef /.gitignore | |
| parent | dc21cd357258df775e67a36cbcd70fc5f83543ad (diff) | |
Add contrib/cleanup-tmp-mounts.sh
Useful when you have lots of broken mounts after something in
the test suite went wrong.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions