(ex-unix-type-shell): Fix customize type.

This commit is contained in:
Richard M. Stallman 1997-09-13 06:12:13 +00:00
parent 454b1ed891
commit 5ee3742d67

View file

@ -151,7 +151,7 @@
"\\)")
shell-file-name)))
"Is the user using a unix-type shell under a non-OS?"
:type 'string
:type 'boolean
:group 'viper-ex)
(defcustom ex-unix-type-shell-options