mirror of
https://github.com/mirror/make.git
synced 2026-08-25 03:13:31 +08: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.)