projects / openmpi.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 4deda60) | patch
openjdk10
authorAlastair McKinstry <mckinstry@debian.org>
Tue, 1 Jan 2019 13:25:39 +0000 (13:25 +0000)
committerAlastair McKinstry <mckinstry@debian.org>
Tue, 1 Jan 2019 13:25:39 +0000 (13:25 +0000)
commitc3191ed37efdc2d5426c055945d888f0ce8b9d17
tree748064f4bc03b9b9dbc5c39e3638df8564093065tree | snapshot
parent4deda60f2a7f4f7a9a3ce6396e10b8cfb0b4b00acommit | 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.