diff options
author | Bardur Arantsson <bardur@scientician.net> | 2016-10-05 18:45:08 +0200 |
---|---|---|
committer | Bardur Arantsson <bardur@scientician.net> | 2016-10-05 18:45:08 +0200 |
commit | d8de8c129fb9fc8d2110f39108949d7025456151 (patch) | |
tree | 04ef01514748c70b9e49bbe761bcec773c62f59c /src/variable.cc | |
parent | 500324e97a02ad8dcee869e334e81455653f46bf (diff) |
Remove dead code
Diffstat (limited to 'src/variable.cc')
-rw-r--r-- | src/variable.cc | 7 |
1 files changed, 0 insertions, 7 deletions
diff --git a/src/variable.cc b/src/variable.cc index f3defc5d..777c2b17 100644 --- a/src/variable.cc +++ b/src/variable.cc @@ -278,13 +278,6 @@ char *macro__buf; /* - * The array of normal options - */ -u32b option_flag[8]; -u32b option_mask[8]; - - -/* * The array of window options */ u32b window_flag[8]; |