diff options
| author | Miklos Szeredi <[email protected]> | 2017-07-04 22:03:18 +0200 |
|---|---|---|
| committer | Miklos Szeredi <[email protected]> | 2017-07-04 22:03:18 +0200 |
| commit | 7d90b853f932874f0b348858fddbd41f022179ee (patch) | |
| tree | e28f87cbf2f0ed094ca899667dfe07ee79ee77fd /lib/mpi/mpi-internal.h | |
| parent | 15932c415b3ed20bd1c1e05d071b4ad498656280 (diff) | |
ovl: extract helper to get temp file in copy up
Signed-off-by: Miklos Szeredi <[email protected]>
Diffstat (limited to 'lib/mpi/mpi-internal.h')
0 files changed, 0 insertions, 0 deletions