diff config.bat @ 11831:7e5af94d9527

Add provide call.
author Karl Heuer <kwzh@gnu.org>
date Tue, 16 May 1995 21:58:47 +0000
parents 9eae919f9a23
children 09c2ad9213dd
line wrap: on
line diff