diff lispintro/configure @ 51341:7dfea0c56d3d

Removed. Contents moved to misc.el
author Juanma Barranquero <lekktu@gmail.com>
date Fri, 30 May 2003 23:17:19 +0000
parents 23a1cea22d13
children 6d19c76d81c5
line wrap: on
line diff