commit | 390beeb7f0f7f43e922ff01c13c9bae7d9fa2060 | [log] [tgz] |
---|---|---|
author | Michael Tuexen <tuexen@fh-muenster.de> | Tue Feb 04 15:05:45 2020 +0100 |
committer | Michael Tuexen <tuexen@fh-muenster.de> | Tue Feb 04 15:05:45 2020 +0100 |
tree | ea55430266adadd6c669b708effc84997e8082ce | |
parent | 1c9888fe1c709b991e2dbee06cad39483e8b2c70 [diff] |
Remove unused timer. Thanks to Taylor Brandstetter for providing the patch.