diff options
| author | Frans Kaashoek | 2018-10-02 07:37:49 -0400 |
|---|---|---|
| committer | Frans Kaashoek | 2018-10-02 07:37:49 -0400 |
| commit | 155c13b7f8f8d03d4f1e9d21c72b1413be550d11 (patch) | |
| tree | b265672d321de39b5b8469a68fdfc70b3a6292f3 /exec.c | |
| parent | 572e106e6f4916deae4d2809623f20771fff1d39 (diff) | |
Avoid repition in walkpgdir
Diffstat (limited to 'exec.c')
0 files changed, 0 insertions, 0 deletions