diff options
author | Kaz Kylheku <kaz@kylheku.com> | 2011-12-10 18:27:18 -0800 |
---|---|---|
committer | Kaz Kylheku <kaz@kylheku.com> | 2011-12-10 18:27:18 -0800 |
commit | c940739b8f863f3331f00b36c23ad1526ab1147e (patch) | |
tree | f68e2bb544a478b7c5537af0b5f9d9aee4aea813 /mpi-patches/series | |
parent | 009266215ff514a005c766d7d6fcfe8bb31dddd5 (diff) | |
download | txr-c940739b8f863f3331f00b36c23ad1526ab1147e.tar.gz txr-c940739b8f863f3331f00b36c23ad1526ab1147e.tar.bz2 txr-c940739b8f863f3331f00b36c23ad1526ab1147e.zip |
* mpi-patches/mpi-set-mpi-word: Bugfix and refresh.
* mpi-patches/mpi-set-double-intptr: New file.
* mpi-patches/series (mpi-set-double-intptr): Patch added.
Diffstat (limited to 'mpi-patches/series')
-rw-r--r-- | mpi-patches/series | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/mpi-patches/series b/mpi-patches/series index 66a58288..65556a57 100644 --- a/mpi-patches/series +++ b/mpi-patches/series @@ -7,3 +7,4 @@ add-mp-hash add-mpi-toradix-with-case fix-mult-bug mpi-set-mpi-word +mpi-set-double-intptr |