diff options
author | Michał Górny <mgorny@gentoo.org> | 2019-12-15 14:19:33 +0100 |
---|---|---|
committer | Michał Górny <mgorny@gentoo.org> | 2019-12-15 14:37:02 +0100 |
commit | 814493f7fea1c0c956f9a32602612b1ff2865001 (patch) | |
tree | d750d97cdc9c077c1bea063841e5853091894c0b /www-plugins | |
parent | dev-util/re2c: stable 1.2.1 for ia64, bug #702946 (diff) | |
download | gentoo-814493f7fea1c0c956f9a32602612b1ff2865001.tar.gz gentoo-814493f7fea1c0c956f9a32602612b1ff2865001.tar.bz2 gentoo-814493f7fea1c0c956f9a32602612b1ff2865001.zip |
dev-lang/smlnj: Drop old
Signed-off-by: Michał Górny <mgorny@gentoo.org>
Diffstat (limited to 'www-plugins')
0 files changed, 0 insertions, 0 deletions