projects / openmpi.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 5a56cef) | patch
openjdk10
authorAlastair McKinstry <mckinstry@debian.org>
Sun, 20 May 2018 19:08:01 +0000 (20:08 +0100)
committerAlastair McKinstry <mckinstry@debian.org>
Sun, 20 May 2018 19:08:01 +0000 (20:08 +0100)
commit3cf1419e1a90bdab471d830fc64c077052ad912c
tree397fbfdd5597eb561526c343617c6cb863ec63e5tree | snapshot
parent5a56cef74346b78e0e7ccdc5d8a14b39979b2714commit | 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.