diff options
| author | Glenn Morris | 2008-07-16 08:09:53 +0000 |
|---|---|---|
| committer | Glenn Morris | 2008-07-16 08:09:53 +0000 |
| commit | 6ba72723bbb8bfe644bb67137aa1b9483dbe9ee4 (patch) | |
| tree | 874ff868d202a08f7a690333dd614d6c2023b857 /src | |
| parent | 132d04752a194336e0ea965245294af64f27226f (diff) | |
| download | emacs-6ba72723bbb8bfe644bb67137aa1b9483dbe9ee4.tar.gz emacs-6ba72723bbb8bfe644bb67137aa1b9483dbe9ee4.zip | |
(with_ns): Remove dead code, since OPTION_DEFAULT_OFF means never unset.
Diffstat (limited to 'src')
0 files changed, 0 insertions, 0 deletions