Ondřej Surý aed1a0497d Remove unused dns_timer API ...

The dns_timer API was unused, and this commit just removes it.

(cherry picked from commit cdce681cf7)

2022-02-16 11:07:04 +01:00

..

dns

Remove unused dns_timer API

2022-02-16 11:07:04 +01:00

dst

Update the copyright information in all files in the repository

2022-01-11 09:05:02 +01:00

.clang-format

Add separate .clang-format files for headers

2020-02-14 09:31:05 +01:00