(aux): Delete duplicate entry.
authordje <dje>
Fri, 29 Mar 1996 01:46:52 +0000 (01:46 +0000)
committerdje <dje>
Fri, 29 Mar 1996 01:46:52 +0000 (01:46 +0000)
commitd0c7bbc4d771bc389440e2f9414cc873277c32c0
treebc4f8e6cb3320eeb874cb0fa13a8999203d2d198
parent4f7787ff25db30730c64a92823d3c197398a9b95
(aux): Delete duplicate entry.
config.sub