diff src/w32console.c @ 56885:3171d2f5b945

New option `grep-highlight-matches'.
author Juri Linkov <juri@jurta.org>
date Thu, 02 Sep 2004 16:39:19 +0000
parents d3274c878082
children 222a7e1090c3 4c90ffeb71c5
line wrap: on
line diff