Branch: refs/heads/master Home: https://github.com/tribe29/checkmk Commit: 7ceccc277886a827fac54b75930f71adb9e0c128 https://github.com/tribe29/checkmk/commit/7ceccc277886a827fac54b75930f71adb… Author: Lars Michelsen <lm(a)tribe29.com> Date: 2021-06-29 (Tue, 29 Jun 2021) Changed paths: M cmk/gui/display_options.py Log Message: ----------- DisplayOptions: Add type hints Change-Id: I40ebe0023a4ad729ba396086dfee0f69700c4a85