summaryrefslogtreecommitdiff
path: root/tools/build-patch
Commit message (Expand)AuthorAgeFilesLines
* [tools/build-patch] Rebuild the mpfr.info file if mpfr.texi has beenvlefevre2015-07-021-0/+5
* [tools/build-patch]vlefevre2014-06-301-22/+39
* [tools/build-patch] Correction if MPFR_CURRENT_DIR is set: to make surevlefevre2014-06-301-5/+5
* Added tools/build-patch zsh script to transform a raw patch into a patchvlefevre2014-06-301-0/+74