projects / openmpi.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 8579149) | patch
openjdk10
authorAlastair McKinstry <mckinstry@debian.org>
Mon, 8 Oct 2018 10:44:08 +0000 (11:44 +0100)
committerAlastair McKinstry <mckinstry@debian.org>
Mon, 8 Oct 2018 10:44:08 +0000 (11:44 +0100)
commit90488eab2fb56dfb95b170681cd63a41860d166b
tree3382af55d16269c2886ccc6df04d2f40be0ed3b2tree | snapshot
parent857914907208621507027ebec2af75bbf8a7b3c8commit | 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.