mirror of
https://github.com/mirror/make.git
synced 2026-08-10 01:48:12 +00: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.)