Nils Winkler 707f2aac93 Added check for grep color option ... Closes #643 and closes #884		2017-01-09 18:13:10 +01:00
..
available	Added check for grep color option	2017-01-09 18:13:10 +01:00