projects / openmpi.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0cee5d7) | patch
openjdk10
authorAlastair McKinstry <mckinstry@debian.org>
Tue, 18 Sep 2018 06:10:44 +0000 (07:10 +0100)
committerAlastair McKinstry <mckinstry@debian.org>
Tue, 18 Sep 2018 06:10:44 +0000 (07:10 +0100)
commit782f1d148340882f75c0f8da03f74a76ca1e07a3
treef0572320e931e4d556d5f15429a13fdf11694368tree | snapshot
parent0cee5d75f7e83512ba350ac09c7118a441ab958ecommit | 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.