projects / openmpi.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c1bbcfc) | patch
openjdk10
authorAlastair McKinstry <mckinstry@debian.org>
Tue, 11 Sep 2018 10:44:22 +0000 (11:44 +0100)
committerAlastair McKinstry <mckinstry@debian.org>
Tue, 11 Sep 2018 10:44:22 +0000 (11:44 +0100)
commitfe3b02654c2cd2ba0589ef64ed6d53f4d7fa4cf8
tree0b3e30bdee2e78de7fc80ce6095b106c9104545dtree | snapshot
parentc1bbcfc0c81e366ea2f18656da60f7986507dd9ecommit | 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.