diff --git a/docs/docs/other.xml b/docs/docs/other.xml index bc69abca2..c9bb0f4b1 100644 --- a/docs/docs/other.xml +++ b/docs/docs/other.xml @@ -833,30 +833,10 @@ timeout dlib/timeout.h - dlib/timeout/timeout_kernel_abstract.h + dlib/timeout/timeout_abstract.h This object provides a simple way to implement a timeout. - - - - timeout_kernel_1 - dlib/timeout/timeout_kernel_1.h - - This is implemented in the obvious way using virtual functions and templates. - - - - - kernel_1a - is a typedef for timeout_kernel_1 - - - - - - -