summaryrefslogtreecommitdiff
path: root/replace_all
Commit message (Expand)AuthorAgeFilesLines
* GMP_RNDX -> MPFR_RNDXzimmerma2009-03-031-2/+2
* now treats all *.hzimmerma2001-11-161-1/+1
* shell-script to replace xxx by yyy in all source fileszimmerma2000-10-261-0/+10