diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2018-05-18 09:48:49 +0200 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2018-05-18 09:48:49 +0200 |
| commit | c992b76711c1717f8510a88540e56130437f9cda (patch) | |
| tree | 340d63d32a93f39d3142eab682111ce04c6c5caa /executor | |
| parent | 738d58ade0f41fb8ab33066dc0dd486d86383ef5 (diff) | |
Makefile: allow to extract consts only from specified files
Diffstat (limited to 'executor')
0 files changed, 0 insertions, 0 deletions