diff config.bat @ 14910:c06d2c905090

(aux): Delete duplicate entry.
author Doug Evans <dje@gnu.org>
date Fri, 29 Mar 1996 01:46:52 +0000
parents 327ff78701e0
children 63951d3f3995
line wrap: on
line diff