diff options
Diffstat (limited to 'tools/pldt/org.eclipse.ptp.pldt.mpi.core/html/MPI_Group_size.html')
-rw-r--r-- | tools/pldt/org.eclipse.ptp.pldt.mpi.core/html/MPI_Group_size.html | 9 |
1 files changed, 0 insertions, 9 deletions
diff --git a/tools/pldt/org.eclipse.ptp.pldt.mpi.core/html/MPI_Group_size.html b/tools/pldt/org.eclipse.ptp.pldt.mpi.core/html/MPI_Group_size.html deleted file mode 100644 index 583f01c05..000000000 --- a/tools/pldt/org.eclipse.ptp.pldt.mpi.core/html/MPI_Group_size.html +++ /dev/null @@ -1,9 +0,0 @@ -<html><head><title>MPI_Group_size</title> -<body> -<H3>MPI_Group_size</H3> -<PRE> -int MPI_Group_size(MPI_Group, int *); -</PRE> -<DL><DD> -Returns the number of tasks in a group. -<P></DL></font></body></html> |