Andrea Aime 87df86413a Realized that there's no need for a .* match pattern, hide in this case is simply a global option		2005-12-28 15:30:28 +00:00
..
spinellis	Realized that there's no need for a .* match pattern, hide in this case is simply a global option	2005-12-28 15:30:28 +00:00