mirror of
https://github.com/php/php-src.git
synced 2024-11-23 18:04:36 +08:00
Point to the online documentation for installation of PHP in INSTALL, and remove the almost duplicate win32/install.txt, one place for all docs should be enough
This commit is contained in:
parent
a2f22b1d2a
commit
1e9e7d4dc4