projects / openmpi.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2d97ccd) | patch
openjdk10
authorAlastair McKinstry <mckinstry@debian.org>
Wed, 23 May 2018 14:47:13 +0000 (15:47 +0100)
committerAlastair McKinstry <mckinstry@debian.org>
Wed, 23 May 2018 14:47:13 +0000 (15:47 +0100)
commit657dfd76c7d2508aed89433f5d5fa0dc1f2d1eb2
tree98940d03d2409b1263c33fd3c94b2402599aefebtree | snapshot
parent2d97ccd0756e1c1a4bb2a07b7f0c6cd4b770bbd0commit | 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.