search

php / doc-base

Tools for the PHP documentation
Other
343 stars 85 forks source link

Remove iniupdate scripts #31

Closed Girgias closed 3 years ago

Girgias commented 3 years ago

I think this was meant to be used to fill in information about INI settings but hasn't been used in the last decade

cmb69 commented 3 years ago

I guess this can be removed.