diff options
| author |   Michael Mair-Keimberger <mmk@levelnine.at> | 2023-10-28 13:10:47 +0200 |
|---|---|---|
| committer |   Ulrich Müller <ulm@gentoo.org> | 2023-11-21 18:52:33 +0100 |
| commit | 9a0724a71052292dced192ce154fc87db11764c3 (patch) | |
| tree | ec6e9ca32dc988d41b2f484c2e2c85a664b95319 /dev-java/jsr305 | |
| parent | sci-electronics/gazebo: bump to 11.14.0 (diff) | |
| download | gentoo-9a0724a71052292dced192ce154fc87db11764c3.tar.gz gentoo-9a0724a71052292dced192ce154fc87db11764c3.tar.bz2 gentoo-9a0724a71052292dced192ce154fc87db11764c3.zip | |
app-admin/pprocm: update HOMEPAGE, add github remote-id
Signed-off-by: Michael Mair-Keimberger <mmk@levelnine.at>
Signed-off-by: Ulrich Müller <ulm@gentoo.org>
Diffstat (limited to 'dev-java/jsr305')
0 files changed, 0 insertions, 0 deletions