diff options
| author | Volkmar W. Pogatzki <gentoo@pogatzki.net> | 2023-02-24 17:36:12 +0100 |
|---|---|---|
| committer | Miroslav Šulc <fordfrog@gentoo.org> | 2023-02-25 07:47:47 +0100 |
| commit | 885d29a15f0a5c4e328e7bd1e3737fcdf4c9657d (patch) | |
| tree | 163ffb99893f5b473de7a76e22d35f6a21026b0b /dev-java/javatoolkit/javatoolkit-0.6.7.ebuild | |
| parent | ed03527c6d8904330da05a151bbc458bcd889fe3 (diff) | |
| download | gentoo-885d29a15f0a5c4e328e7bd1e3737fcdf4c9657d.tar.gz gentoo-885d29a15f0a5c4e328e7bd1e3737fcdf4c9657d.tar.bz2 gentoo-885d29a15f0a5c4e328e7bd1e3737fcdf4c9657d.zip | |
dev-db/hsqldb: use jakarta-servlet-api instead of tomcat-servlet-api
Signed-off-by: Volkmar W. Pogatzki <gentoo@pogatzki.net>
Closes: https://github.com/gentoo/gentoo/pull/29506
Signed-off-by: Miroslav Šulc <fordfrog@gentoo.org>
Diffstat (limited to 'dev-java/javatoolkit/javatoolkit-0.6.7.ebuild')
0 files changed, 0 insertions, 0 deletions