diff options
| author | Thomas Meyer <[email protected]> | 2017-07-06 00:32:33 +0200 |
|---|---|---|
| committer | Richard Weinberger <[email protected]> | 2017-07-07 10:44:49 +0200 |
| commit | 171fa6928bcdf72372f98884b0abb93ad9b2e673 (patch) | |
| tree | 47af807a0bf2b14b0150f4988ae30d262b25dc77 /lib/mpi/mpi-bit.c | |
| parent | 22e19c8d062cc19832cde13225cbc6e5283cd969 (diff) | |
um: stub-data.h: remove superfluous include
Signed-off-by: Thomas Meyer <[email protected]>
Signed-off-by: Richard Weinberger <[email protected]>
Diffstat (limited to 'lib/mpi/mpi-bit.c')
0 files changed, 0 insertions, 0 deletions