OpenIndiana Userland
parent: 316f38 | patch | commitdiff
fritzkink
2023-06-09 9fc4913e483fdeeea3cbcdc9fe6fe976d090724f
refs
author fritzkink <96341974+fritzkink@users.noreply.github.com>
Friday, June 9, 2023 14:17 +0200
committer GitHub <noreply@github.com>
Friday, June 9, 2023 14:17 +0200
commit9fc4913e483fdeeea3cbcdc9fe6fe976d090724f
tree 5d6118260cf132b8d2bf07ca87db409259dca697 tree | zip | gz
parent 316f3865344e84cf546fa6f327eeffe7287454b3 view | diff 
openmpi - fix duplicate man pages

2 files modified
5 ■■■■■ changed files
components/library/openmpi/Makefile 1 ●●●●● diff | view | raw | blame | history
components/library/openmpi/openmpi.p5m 4 ●●●●● diff | view | raw | blame | history