projects / openmpi.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0d39fad) | patch
openjdk10
authorAlastair McKinstry <mckinstry@debian.org>
Tue, 30 Apr 2019 21:40:47 +0000 (22:40 +0100)
committerAndreas Beckmann <anbe@debian.org>
Tue, 30 Apr 2019 21:40:47 +0000 (22:40 +0100)
commit0ed7ed5455923e94f5f6de0c006fbe492146faf8
tree966bba516518277baecf023289ce553c2d4428d0tree | snapshot
parent0d39fad27692ad184a9cd24930c094af17d808d8commit | 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.