diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2017-09-05 16:32:32 +0200 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2017-09-05 19:02:12 +0200 |
| commit | e52bd337005459c3352edbff46cc17040ee5adb3 (patch) | |
| tree | bed5f32b2902f9ba7777f096e8795efd4820b738 /executor | |
| parent | eb45aa4244bffd937b4175de5ca1d42c1cf2dbba (diff) | |
prog: move resource-related functions to a separate file
Diffstat (limited to 'executor')
0 files changed, 0 insertions, 0 deletions