projects / openmpi.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 7f6911f) | patch
openjdk10
authorAlastair McKinstry <mckinstry@debian.org>
Sun, 20 Jan 2019 13:12:03 +0000 (13:12 +0000)
committerAlastair McKinstry <mckinstry@debian.org>
Sun, 20 Jan 2019 13:12:03 +0000 (13:12 +0000)
commita9d366cb0480a6c1877e781da97489fca113729a
tree8e8c5e33b9251dd5799698535d837d621903d595tree | snapshot
parent7f6911f25d3931e4192c42083b83faa748259535commit | 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.