diff lispintro/configure @ 64857:deebf79b94bc

Add W32-specific issues.
author Juanma Barranquero <lekktu@gmail.com>
date Tue, 09 Aug 2005 15:26:52 +0000
parents 23a1cea22d13
children 6d19c76d81c5
line wrap: on
line diff