projects / openmpi.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0526045) | patch
openjdk10
authorAlastair McKinstry <mckinstry@debian.org>
Wed, 28 Nov 2018 17:08:03 +0000 (17:08 +0000)
committerAlastair McKinstry <mckinstry@debian.org>
Wed, 28 Nov 2018 17:08:03 +0000 (17:08 +0000)
commit99c74f82795f19a6e9ce33b252e4a1c9bcda4c70
treefe1e2e61ff29a5e52363bdaa830b388b4201591dtree | snapshot
parent0526045ea023633ee18ef24aea3270f8503beabacommit | diff
openjdk10

===================================================================

Gbp-Pq: Name openjdk10.patch
ompi/mpi/java/java/Makefile.am diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.