diff options
| author | Bjoern Brandenburg <bbb@mpi-sws.org> | 2016-02-14 19:22:35 -0500 |
|---|---|---|
| committer | Bjoern Brandenburg <bbb@mpi-sws.org> | 2016-03-08 10:12:51 -0500 |
| commit | 5f594c7c328a1d6518b196566664c0286f39b88f (patch) | |
| tree | dae150241fc7b1096eec1f989a3bd81315642849 /lib/mpi/mpi-inline.c | |
| parent | ff0e731b2a9789c78349659602b485d38de78bde (diff) | |
LITMUS^RT core: add post-migration validation callback
Diffstat (limited to 'lib/mpi/mpi-inline.c')
0 files changed, 0 insertions, 0 deletions