summaryrefslogtreecommitdiff
path: root/replace_all
Commit message (Collapse)AuthorAgeFilesLines
* now treats all *.hzimmerma2001-11-161-1/+1
| | | | git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@1533 280ebfd0-de03-0410-8827-d642c229c3f4
* shell-script to replace xxx by yyy in all source fileszimmerma2000-10-261-0/+10
git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@788 280ebfd0-de03-0410-8827-d642c229c3f4