diff options
author | 2023-02-02 09:21:18 +0100 | |
---|---|---|
committer | 2023-02-02 09:22:40 +0100 | |
commit | b9905ce787bc1ea8d6bcacc911f72722a21b319c (patch) | |
tree | 791d45e6f30ed7eee1bfcb206a711f888ba61a74 /licenses/VOSTROM | |
parent | dev-ada/gprconfig_kb: drop 22.0.0-r1 (diff) | |
download | gentoo-b9905ce787bc1ea8d6bcacc911f72722a21b319c.tar.gz gentoo-b9905ce787bc1ea8d6bcacc911f72722a21b319c.tar.bz2 gentoo-b9905ce787bc1ea8d6bcacc911f72722a21b319c.zip |
dev-ada/xmlada: drop old
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Diffstat (limited to 'licenses/VOSTROM')
0 files changed, 0 insertions, 0 deletions