projects / openmpi.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 15bdd88) | patch
openjdk10
authorAlastair McKinstry <mckinstry@debian.org>
Sat, 9 Jun 2018 12:36:15 +0000 (13:36 +0100)
committerAlastair McKinstry <mckinstry@debian.org>
Sat, 9 Jun 2018 12:36:15 +0000 (13:36 +0100)
commit01db8856f94745f07e4605695df3b87b5b28adb3
tree03ec52872428dd555b9841b307cd4604d3fe6fcctree | snapshot
parent15bdd880140c95d53cd6a941ff45f6a8e0cda821commit | 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.