diff options
| author |   Alfredo Tupone <tupone@gentoo.org> | 2024-06-11 08:17:43 +0200 |
|---|---|---|
| committer | Alfredo Tupone <tupone@gentoo.org> | 2024-06-11 08:19:03 +0200 |
| commit | 163df08b538bbd67055240ba737cd2f09fee1146 (patch) | |
| tree | 8c4fdea3b291bfe2b87288c7b54727fc922b2077 /sys-boot | |
| parent | dev-go/sanitized-anchor-name: treeclean (diff) | |
| download | gentoo-163df08b538bbd67055240ba737cd2f09fee1146.tar.gz gentoo-163df08b538bbd67055240ba737cd2f09fee1146.tar.bz2 gentoo-163df08b538bbd67055240ba737cd2f09fee1146.zip | |
dev-ml/*: add [ocamlopt?]
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Diffstat (limited to 'sys-boot')
0 files changed, 0 insertions, 0 deletions