projects / openmpi.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 41003b9) | patch
openjdk10
authorAlastair McKinstry <mckinstry@debian.org>
Tue, 8 Jan 2019 19:20:33 +0000 (19:20 +0000)
committerAlastair McKinstry <mckinstry@debian.org>
Tue, 8 Jan 2019 19:20:33 +0000 (19:20 +0000)
commit14e6463baa228ebdf1d59ec57c5f461f35c46c1c
tree7ec106262c78ec3094b65756aa306463023a668etree | snapshot
parent41003b9e475ff15cbc68c4d96be846d50fafaed6commit | 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.