etc/isa-settings.el
author nipkow
Wed, 04 Aug 2004 11:25:08 +0200
changeset 15106 e8cef6993701
parent 9226 cbe6144f0f15
permissions -rw-r--r--
aded comment

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

(setq isa-use-sml-mode nil)