diff options
| author | Eric Biggers <ebiggers@google.com> | 2021-12-20 11:28:26 -0600 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-12-20 11:28:26 -0600 |
| commit | 9a8ce15408edae0c92128fd36f50dafa81013266 (patch) | |
| tree | b8d89c0ee0a18aa38b0a5df1d06ab6037f8c2190 /Makefile | |
| parent | 1014b61a6a054b5c82b2be82e13d8ce28befba45 (diff) | |
| parent | d0b9e2c995beb13c70a1549923df482ff773f09b (diff) | |
Merge pull request #332 from ebiggers/skip-irrelevant-filesystems
filesystem: avoid accessing irrelevant filesystems
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions