diff options
| author | Sascha Schumann <sas@php.net> | 2000-12-06 17:34:58 +0000 |
|---|---|---|
| committer | Sascha Schumann <sas@php.net> | 2000-12-06 17:34:58 +0000 |
| commit | 7e28784de3c13d7834b619fd6113e906eb3e9255 (patch) | |
| tree | 3111ee62aa3e11f8f870dd3011397c6e7eebc9de /ext/gmp | |
| parent | 41f8d621b657c69b483be43c1da4b4caf80421cb (diff) | |
| download | php-git-7e28784de3c13d7834b619fd6113e906eb3e9255.tar.gz | |
Fix indentation of configure output
Diffstat (limited to 'ext/gmp')
| -rw-r--r-- | ext/gmp/config.m4 | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/ext/gmp/config.m4 b/ext/gmp/config.m4 index d7b54e495c..4dea939c99 100644 --- a/ext/gmp/config.m4 +++ b/ext/gmp/config.m4 @@ -5,7 +5,7 @@ dnl If your extension references something external, use with: PHP_ARG_WITH(gmp, for gmp support, dnl Make sure that the comment is aligned: -[ --with-gmp Include gmp support]) +[ --with-gmp Include gmp support]) if test "$PHP_GMP" != "no"; then |