diff options
| author | jim winstead <jimw@php.net> | 2002-03-16 00:21:40 +0000 |
|---|---|---|
| committer | jim winstead <jimw@php.net> | 2002-03-16 00:21:40 +0000 |
| commit | d3400b2b5f065c9fcef9d655afd4c1c81e7a2c18 (patch) | |
| tree | 4c00c9a5f1a44410a157bb48ec0c602a28775c14 /ext/readline | |
| parent | 8dfe4961c46afa827679d12ed3339c797c86f3f3 (diff) | |
| download | php-git-d3400b2b5f065c9fcef9d655afd4c1c81e7a2c18.tar.gz | |
the 'setup' script was removed more than two years ago.
these can be safely removed from the 4.2 branch, too.
Diffstat (limited to 'ext/readline')
| -rw-r--r-- | ext/readline/setup.stub | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/ext/readline/setup.stub b/ext/readline/setup.stub deleted file mode 100644 index a335af80ed..0000000000 --- a/ext/readline/setup.stub +++ /dev/null @@ -1,3 +0,0 @@ -define_option with-readline 'GNU-Readline support?' yesnodir no \ -' Whether to build the readline extension.' - |