[PATCH] git grep: use pager
From: Johannes Schindelin <hidden>
Date: 2016-06-15 22:42:55
Subsystem:
the rest · Maintainer:
Linus Torvalds
From: Johannes Schindelin <hidden>
Date: 2016-06-15 22:42:55
Subsystem:
the rest · Maintainer:
Linus Torvalds