diff options
Diffstat (limited to 'tools/pldt/org.eclipse.ptp.pldt.mpi.core/html/MPI_Wtime.html')
| -rw-r--r-- | tools/pldt/org.eclipse.ptp.pldt.mpi.core/html/MPI_Wtime.html | 9 |
1 files changed, 0 insertions, 9 deletions
diff --git a/tools/pldt/org.eclipse.ptp.pldt.mpi.core/html/MPI_Wtime.html b/tools/pldt/org.eclipse.ptp.pldt.mpi.core/html/MPI_Wtime.html deleted file mode 100644 index c530a207d..000000000 --- a/tools/pldt/org.eclipse.ptp.pldt.mpi.core/html/MPI_Wtime.html +++ /dev/null @@ -1,9 +0,0 @@ -<html><head><title>MPI_Wtime</title> -<body> -<H3>MPI_Wtime</H3> -<PRE> -double MPI_Wtime(void); -</PRE> -<DL><DD> -Returns the current value of time as a floating-point value. -<P></DL></font></body></html> |