Lines Matching refs:suggested
162 # (Raja R Harinath suggested sed '=', and Paul Eggert wrote the
5273 /* FIXME: Include the comments suggested by Paul. */
12015 # (Raja R Harinath suggested sed '=', and Paul Eggert wrote the
13141 # (Raja R Harinath suggested sed '=', and Paul Eggert wrote the
14268 # (Raja R Harinath suggested sed '=', and Paul Eggert wrote the
