diff options
| author | Dirk Engling <erdgeist@erdgeist.org> | 2022-05-25 11:13:32 +0200 |
|---|---|---|
| committer | Dirk Engling <erdgeist@erdgeist.org> | 2022-05-25 11:13:32 +0200 |
| commit | de75ee59d9af36621d545b560d6b3415a9a2a40a (patch) | |
| tree | 63e9beed6dae5371c7caf96454f64f27f73ef483 /sample-erdgeist.fmt | |
| parent | 74cd15a70612c9972b68fe8fbfb4c0b9959955f2 (diff) | |
Add /usr/local/{bin|include} to the default include and lib paths
Diffstat (limited to 'sample-erdgeist.fmt')
0 files changed, 0 insertions, 0 deletions