Andrey A. Chernov 79e9a0a1e0 Upgrade to +19		1996-05-26 00:47:54 +00:00
..
pre-configure	Upgrade to +19	1996-05-26 00:47:54 +00:00