This repository has been archived on 2023-10-09. You can view files and clone it. You cannot open issues or pull requests or push a commit.

Julian Eisel 2678953f69 Cleanup: Correct an own earlier commit to use an existing utility function ...

Didn't know this function existed, better to use it then to avoid verbosity.

2020-12-08 15:00:31 +01:00

5.6 KiB

Raw Blame History

View Raw