<dir>
<file name="wintimerconf.h" info="1047972323"/>
<file name="wtime.c" info="1147102488"/>
<file name="mpidtime.c" info="1142706234"/>
<file name="wtick.c" info="1147102488"/>
</dir>
<data>
<fileinfo name="wintimerconf.h">
</fileinfo>
<fileinfo name="wtime.c">
MPID_STATE_MPI_WTIME MPI_Wtime
</fileinfo>
<fileinfo name="mpidtime.c">
</fileinfo>
<fileinfo name="wtick.c">
MPID_STATE_MPI_WTICK MPI_Wtick
</fileinfo>
</data>
