diff options
| author | Zbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl> | 2015-07-24 22:52:26 -0400 |
|---|---|---|
| committer | Zbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl> | 2015-07-24 23:44:42 -0400 |
| commit | 84c3409631f48869dcb59c0a74eba6d4ac40ad93 (patch) | |
| tree | 9046554328798ef18fdb4f4326b6829d38abfc3c /.dir-locals.el | |
| parent | 47c7dfe275b30cb507108f08e471d2d9ef2baa56 (diff) | |
networkd: rename BPDUGuard to UseBPDU
Rename to follow the follow the style of other options.
In general "positive" options are preferred to "negative" ones,
because they are easier to describe and easier for humans to
parse (c.f. the shortening on the man page entry).
Diffstat (limited to '.dir-locals.el')
0 files changed, 0 insertions, 0 deletions