removed 8bit;
authorwenzelm
Sat Oct 09 16:18:16 1999 +0200 (1999-10-09)
changeset 7812a8a21d7a83a1
parent 7811 eaf9e022eef3
child 7813 4412debd3004
removed 8bit;
etc/isa-settings.el
     1.1 --- a/etc/isa-settings.el	Fri Oct 08 17:07:10 1999 +0200
     1.2 +++ b/etc/isa-settings.el	Sat Oct 09 16:18:16 1999 +0200
     1.3 @@ -7,9 +7,3 @@
     1.4  ;; Misc settings
     1.5  
     1.6  (setq isa-use-sml-mode nil)
     1.7 -
     1.8 -
     1.9 -;; Fonts and Keymaps
    1.10 -
    1.11 -(load (concat (getenv "ISABELLE_HOME") "/src/Tools/8bit/xemacs/isa_xemacs.emacs"
    1.12 -))