tree 45e1cb7654e052dba75e615292d3982ea9a49242
parent 2949cfa7c81a5b21121e3f1dbc44b3adefb09f9a
author Michael Tuexen <tuexen@fh-muenster.de> 1589804947 +0200
committer Michael Tuexen <tuexen@fh-muenster.de> 1589804947 +0200

Address a warning by cpp-check.