diff options
author | Iwan Timmer <irtimmer@gmail.com> | 2018-06-13 20:26:24 +0200 |
---|---|---|
committer | Sven Eden <yamakuzure@gmx.net> | 2018-08-24 16:47:08 +0200 |
commit | 19d3fe825b2a94a4e88038a739af9425581952a3 (patch) | |
tree | ed1575943d7f5b6157373db59ae57d610175bf64 /.dir-locals.el | |
parent | 9ddac0a4a280233f8b169ae64db0e2b6b6ecc40d (diff) |
resolve: rename PrivateDNS to DNSOverTLS
PrivateDNS is not considered a good name for this option, so rename it to DNSOverTLS
Diffstat (limited to '.dir-locals.el')
0 files changed, 0 insertions, 0 deletions