diff options
| author | Maciej Barć <xgqt@gentoo.org> | 2023-01-07 21:28:37 +0100 |
|---|---|---|
| committer | Maciej Barć <xgqt@gentoo.org> | 2023-01-07 21:52:34 +0100 |
| commit | 03ec5e0a93aef83ea87b9dc666a0bd7f954ac8d4 (patch) | |
| tree | 95cd7e1c054cb6c0e136eab6b14ea36b43be85c5 /dev-python | |
| parent | 3cc9e3c24605ce7ed4e7bb3e2788fd8619e727d3 (diff) | |
| download | gentoo-03ec5e0a93aef83ea87b9dc666a0bd7f954ac8d4.tar.gz gentoo-03ec5e0a93aef83ea87b9dc666a0bd7f954ac8d4.tar.bz2 gentoo-03ec5e0a93aef83ea87b9dc666a0bd7f954ac8d4.zip | |
dev-ml/ocaml-process: fix a spelling mistake in make opts
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Diffstat (limited to 'dev-python')
0 files changed, 0 insertions, 0 deletions