diff options
| author | Andrey Konovalov <andreyknvl@gmail.com> | 2016-11-29 19:07:50 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2016-11-29 19:07:50 +0100 |
| commit | e4bf587846836bbdb0236d052e90af5fce3ab286 (patch) | |
| tree | 17df9221a757e106f4f7414ddf92abb97765751f /executor/executor.cc | |
| parent | 6d413cab8f4b25e9e0982f7771358da68779a126 (diff) | |
| parent | 11e1b430a81b1367979fed22eeaca95f303b8f9f (diff) | |
Merge pull request #100 from xairy/remove-dir-fix
csourse: emit remove_dir only when needed
Diffstat (limited to 'executor/executor.cc')
0 files changed, 0 insertions, 0 deletions