diff options
| author |   Maciej Barć <xgqt@gentoo.org> | 2024-05-26 23:28:19 +0200 |
|---|---|---|
| committer | Maciej Barć <xgqt@gentoo.org> | 2024-05-26 23:36:17 +0200 |
| commit | 0b9ce841e0a49b15af6128db5f4fb4b7764a91ce (patch) | |
| tree | f523f8233abe90571f47c5429d88b59b53128115 /dev-embedded/pikdev/metadata.xml | |
| parent | dev-lang/smlnj: drop old 110.99.3 (diff) | |
| download | gentoo-master.tar.gz gentoo-master.tar.bz2 gentoo-master.zip | |
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Diffstat (limited to 'dev-embedded/pikdev/metadata.xml')
0 files changed, 0 insertions, 0 deletions