Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | [tools/build-patch] Rebuild the mpfr.info file if mpfr.texi has been | vlefevre | 2015-07-02 | 1 | -0/+5 |
* | [tools/build-patch] | vlefevre | 2014-06-30 | 1 | -22/+39 |
* | [tools/build-patch] Correction if MPFR_CURRENT_DIR is set: to make sure | vlefevre | 2014-06-30 | 1 | -5/+5 |
* | Added tools/build-patch zsh script to transform a raw patch into a patch | vlefevre | 2014-06-30 | 1 | -0/+74 |