diff options
author | 2023-01-29 16:41:22 +0100 | |
---|---|---|
committer | 2023-02-05 10:53:02 +0100 | |
commit | 32b976877b1cee7ee238fc46c472e681379c937c (patch) | |
tree | ea012de59cdecba4ef9fbd5b9dbd1ee5037663ee /java-virtuals/servlet-api | |
parent | dev-java/resin-servlet-api: drop 3.0.25-r1, unused slot (diff) | |
download | gentoo-32b976877b1cee7ee238fc46c472e681379c937c.tar.gz gentoo-32b976877b1cee7ee238fc46c472e681379c937c.tar.bz2 gentoo-32b976877b1cee7ee238fc46c472e681379c937c.zip |
dev-java/jackrabbit-webdav: drop 2.21.7-r1, unused slot
Signed-off-by: Volkmar W. Pogatzki <gentoo@pogatzki.net>
Signed-off-by: Miroslav Šulc <fordfrog@gentoo.org>
Diffstat (limited to 'java-virtuals/servlet-api')
0 files changed, 0 insertions, 0 deletions