On Jul 06 2025, Markus Elfring wrote: > File contents can be searched also by the means of the program call “git grep”. > Would you become interested to find specified items only once in each file > (instead of multiple times)? Does "git grep -l" suit your needs? -- Andreas Schwab, schwab@xxxxxxxxxxxxxx GPG Key fingerprint = 7578 EB47 D4E5 4D69 2510 2552 DF73 E780 A9DA AEC1 "And now for something completely different."