diff options
Diffstat (limited to 'mpi/generic/distfiles')
-rw-r--r-- | mpi/generic/distfiles | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/mpi/generic/distfiles b/mpi/generic/distfiles index 649e829b..9810eef4 100644 --- a/mpi/generic/distfiles +++ b/mpi/generic/distfiles @@ -1,3 +1,4 @@ +Manifest mpih-add1.c mpih-mul1.c mpih-mul2.c |