tree 2cdbbffd4e135ddc453707bfaf4d18c1e447583d
parent 02e528beb1feec64641dad03f803bfd44bee3d25
author chenbruce <chenbruce@google.com> 1560334084 +0800
committer chenbruce <chenbruce@google.com> 1560851626 +0800

Dead code removal - Remove res_setoptions()

- It’s been dead code for a long time, and adds lots of complexity
- Keep options used by DoT

Bug: 135094436
Test: built, flashed, booted
Test: atest
Change-Id: Id34c6850f07733219b576d1ee2cf1dd3b7c52fc1