diff options
| author | Valentin Gagarin <valentin.gagarin@tweag.io> | 2023-07-13 22:00:16 +0200 |
|---|---|---|
| committer | Valentin Gagarin <valentin.gagarin@tweag.io> | 2023-07-19 10:37:40 +0200 |
| commit | c8f04e2024d3e66f620ae38258fa86eb6103ce05 (patch) | |
| tree | 00ebada5f3d571487860b3c427e0fdd62350f295 /doc/internal-api/local.mk | |
| parent | 32de11923e932b5bbda8ce4877542fb299de9b03 (diff) | |
note that naming convention is from Autotools
Co-authored-by: Robert Hensing <roberth@users.noreply.github.com>
Diffstat (limited to 'doc/internal-api/local.mk')
0 files changed, 0 insertions, 0 deletions