diff config.bat @ 51341:7dfea0c56d3d

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