Lines Matching refs:Paul
435 # (Raja R Harinath suggested sed '=', and Paul Eggert wrote the31033 /* Thanks to Paul Eggert for this test. */48439 /* Thanks to Paul Eggert for this test. */51604 # (Raja R Harinath suggested sed '=', and Paul Eggert wrote the
Indexes created Fri Apr 17 00:22:50 UTC 2026