diff options
author | Nicolas Hennion <nicolashennion@gmail.com> | 2019-04-11 13:29:31 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-04-11 13:29:31 +0200 |
commit | 707e793153ec16eee7d510e8192682e84522ea05 (patch) | |
tree | 2066708a0c9bb1ac4f56f07a906a084af4a6ef4b /docs | |
parent | f73ec13c8f09820c2e56301d20d7fa45d21604c9 (diff) | |
parent | 96825c7eacd353b0fe717caefe9091c93169439e (diff) |
Merge pull request #1452 from Bengt/patch-1
Ignore loop back file systems under Ubuntu
Diffstat (limited to 'docs')
0 files changed, 0 insertions, 0 deletions