diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2018-03-31 16:31:48 +0200 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2018-03-31 16:31:48 +0200 |
| commit | d5473a248e01d61b3b1a57a501b8a939a58753a2 (patch) | |
| tree | 54432947386487eb2ff6a7609da3743daa79526b /executor | |
| parent | fef07bd04c466e06dd14d08f863cc9b50b3c21f8 (diff) | |
Makefile: remove obsolete package
This package is not present on latest debian versions.
Diffstat (limited to 'executor')
0 files changed, 0 insertions, 0 deletions