commit | fce56c56efc57e80cc3ed755c192cf88822ebf0e | [log] [download] |
---|---|---|
author | nicm <nicm> | Fri Nov 20 12:01:19 2015 +0000 |
committer | nicm <nicm> | Fri Nov 20 12:01:19 2015 +0000 |
tree | ac91bccebcaebc7738e248e4f0564e6ad52078d0 | |
parent | 374e273df5f66e90e06f60617495446facfbd4f3 [diff] |
Instead of separate tables for different types of options, give each option a scope type (server, session, window) in one table.