projects / openmpi.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 3e57f5e) | patch
openjdk10
authorAlastair McKinstry <mckinstry@debian.org>
Wed, 18 Jul 2018 10:20:16 +0000 (11:20 +0100)
committerAlastair McKinstry <mckinstry@debian.org>
Wed, 18 Jul 2018 10:20:16 +0000 (11:20 +0100)
commit913afd8154fcca0cd8d7f93ef4aa6c0193197b1c
tree79d5e723c515d41f84b9e0ab378d144c0aff0dbetree | snapshot
parent3e57f5ea838388d3d863478837adf3189cbf0c82commit | 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.