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

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

2022-02-16 10:49:48 +01:00

..

dns

Remove unused dns_timer API

2022-02-16 10:49:48 +01:00

dst

Update the copyright information in all files in the repository

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

.clang-format

…