diff config.bat @ 56861:2e59d9187762

(next-error, previous-error, first-error) (next-error-no-select, previous-error-no-select): Make arguments optional.
author Juri Linkov <juri@jurta.org>
date Wed, 01 Sep 2004 16:19:04 +0000
parents 9e48278ca4fb
children f5d8b003702f 0bdb5a16ae51
line wrap: on
line diff