diff options
| author | Robert Hensing <roberth@users.noreply.github.com> | 2023-01-14 11:22:57 +0100 |
|---|---|---|
| committer | Robert Hensing <robert@roberthensing.nl> | 2023-01-14 11:24:54 +0100 |
| commit | dc9c45597950a9eec5630c796af0d2ddb8e608a5 (patch) | |
| tree | 7850ecd117cd1ab2286054f01e29d941466f675d /local.mk | |
| parent | fd7569393bae53e8203bbbada59bb171ba7a70ed (diff) | |
Apply suggestions from code review
Co-authored-by: Valentin Gagarin <valentin.gagarin@tweag.io>
Diffstat (limited to 'local.mk')
0 files changed, 0 insertions, 0 deletions