diff options
| author | Mark Johnston <markjdb@gmail.com> | 2020-02-23 19:00:47 -0500 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2020-02-24 10:18:37 +0100 |
| commit | 1253d6f07f7f40d2835e0d1e061dcbad49ae28ee (patch) | |
| tree | 2cf9a00b61c9b1e15381b59925d1705db7d27fe0 /executor | |
| parent | 502ca6cde7a3897b576b65117bf798f53e63b8d7 (diff) | |
tools: specify the search path for find(1)
Diffstat (limited to 'executor')
0 files changed, 0 insertions, 0 deletions