diff options
| author | Ben Sima <ben@bsima.me> | 2021-03-30 15:32:58 -0400 |
|---|---|---|
| committer | Ben Sima <ben@bsima.me> | 2021-03-30 15:32:58 -0400 |
| commit | db196536453668d2b07bb1456ebe842b3059fa4f (patch) | |
| tree | 819ff812c7de915a45d3f4fc7fc0d12c470850af /.ghci | |
| parent | 4319b76257df95bc3e6edbc10c161af1bc59a98a (diff) | |
Manually specify nameservers
My router's DNS service likes to die, then I can't lookup any names, so let's
just use the public ones.
Diffstat (limited to '.ghci')
0 files changed, 0 insertions, 0 deletions