diff options
| author | Michael Soegtrop | 2019-03-08 17:40:26 +0100 |
|---|---|---|
| committer | Michael Soegtrop | 2019-03-08 17:42:48 +0100 |
| commit | f5ac4945006ddd0924331bd956b6a25a6e5cc21f (patch) | |
| tree | 0d8b1dbe636fb87e6fbc5e238083729da469db0a /kernel/type_errors.ml | |
| parent | 51e88f1f19cc5c817773ff7be09f1b36008c8e17 (diff) | |
Fix issue #9722 pkg-config not found
Diffstat (limited to 'kernel/type_errors.ml')
0 files changed, 0 insertions, 0 deletions