chiark / gitweb /
NEWS: mention --grep (#8029)
authorZbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl>
Sun, 28 Jan 2018 14:52:06 +0000 (15:52 +0100)
committerSven Eden <yamakuzure@gmx.net>
Wed, 30 May 2018 05:50:22 +0000 (07:50 +0200)
commita325bc2ab708166c62ab2e1c80147abb7f70dfc9
tree53aede231b1ef01971da5e1b2c15f35777ce6f27
parent33ab419a61bfb3667f0b99f9804e4315b0e79c15
NEWS: mention --grep (#8029)
NEWS