tree ea55430266adadd6c669b708effc84997e8082ce
parent 1c9888fe1c709b991e2dbee06cad39483e8b2c70
author Michael Tuexen <tuexen@fh-muenster.de> 1580825145 +0100
committer Michael Tuexen <tuexen@fh-muenster.de> 1580825145 +0100

Remove unused timer.

Thanks to Taylor Brandstetter for providing the patch.