(edit-options): Make the buffer read-only.
authorRichard M. Stallman <rms@gnu.org>
Wed, 15 Mar 1995 22:51:56 +0000 (22:51 +0000)
committerRichard M. Stallman <rms@gnu.org>
Wed, 15 Mar 1995 22:51:56 +0000 (22:51 +0000)
(Edit-options-modify): Cope with that.


No differences found