diff configure.in @ 17661:e9949b093b46

Change RCS Header to Id.
author Paul Eggert <eggert@twinsun.com>
date Mon, 05 May 1997 05:45:46 +0000
parents bbd0f7cb2452
children dcbb878e8cbf
line wrap: on
line diff