diff options
| author | Kaz Kylheku <kaz@kylheku.com> | 2015-04-22 19:55:07 -0700 |
|---|---|---|
| committer | Kaz Kylheku <kaz@kylheku.com> | 2015-04-22 19:55:07 -0700 |
| commit | 555f6d6e75948601f763d84410cb4148786b0059 (patch) | |
| tree | 5c219e22708ec5f1794df9d9ac4802efde77b89f /mpi-patches/disable-make | |
| parent | 98dedd310b1d5d876b0fbb0ebd6c4df9bd7b2d88 (diff) | |
| download | txr-555f6d6e75948601f763d84410cb4148786b0059.tar.gz txr-555f6d6e75948601f763d84410cb4148786b0059.tar.bz2 txr-555f6d6e75948601f763d84410cb4148786b0059.zip | |
mpi-to-double patch
* mpi/mpi.c (mp_to_double): New function.
* mpi/mpi.h (mp_to_double): Declared.
Diffstat (limited to 'mpi-patches/disable-make')
0 files changed, 0 insertions, 0 deletions