etc/isa-settings.el
author wenzelm
Wed, 27 Feb 2002 18:41:28 +0100
changeset 12964 2ac9265b2cd5
parent 9226 cbe6144f0f15
permissions -rw-r--r--
tuned;

;
; $Id$
;
; Options for Isamode (old)
;

(setq isa-use-sml-mode nil)