diff options
| author |   Alfredo Tupone <tupone@gentoo.org> | 2024-02-17 16:21:35 +0100 |
|---|---|---|
| committer | Alfredo Tupone <tupone@gentoo.org> | 2024-02-17 16:22:57 +0100 |
| commit | fb99549a9bfca0b0ccdacee338a9740933ef663f (patch) | |
| tree | b32364a1dbfa058a80490eac3403722452d9ecaa /dev-ml/ppx_custom_printf | |
| parent | profiles: Split out 23.0 mips o32 softfloat into separate profiles (diff) | |
| download | gentoo-fb99549a9bfca0b0ccdacee338a9740933ef663f.tar.gz gentoo-fb99549a9bfca0b0ccdacee338a9740933ef663f.tar.bz2 gentoo-fb99549a9bfca0b0ccdacee338a9740933ef663f.zip | |
dev-ml/ppx_cold: update maintainers
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Diffstat (limited to 'dev-ml/ppx_custom_printf')
0 files changed, 0 insertions, 0 deletions