mirror of
https://git.savannah.gnu.org/git/make.git
synced 2025-12-17 00:02:12 -05:00
* Apply changes from Paul Eggert. * Many other cleanups (index/rindex --> strchr/strrchr, etc.)
* Apply changes from Paul Eggert. * Many other cleanups (index/rindex --> strchr/strrchr, etc.)