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/mnogosearch | |
| 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/mnogosearch')
| -rw-r--r-- | ext/mnogosearch/setup.stub | 10 |
1 files changed, 0 insertions, 10 deletions
diff --git a/ext/mnogosearch/setup.stub b/ext/mnogosearch/setup.stub deleted file mode 100644 index e92ebc06f9..0000000000 --- a/ext/mnogosearch/setup.stub +++ /dev/null @@ -1,10 +0,0 @@ -# $Source$ -# $Id$ - -define_option with-mnogosearch 'mnoGoSearch support?' yesnodir \ - 'no /usr/local/udmsearch mnoGoSearch install' \ -' Whether to build PHP with mnoGoSearch support. - More info about mnoGoSearch can be found at http://search.mnogo.ru/.' - - -
\ No newline at end of file |