Branch: refs/heads/master
Home:
https://github.com/tribe29/checkmk
Commit: 1a97fd725cbc87cff7d6ade333d9a436bfd3b8b6
https://github.com/tribe29/checkmk/commit/1a97fd725cbc87cff7d6ade333d9a436b…
Author: Lars Michelsen <lm(a)tribe29.com>
Date: 2020-12-02 (Wed, 02 Dec 2020)
Changed paths:
M cmk/gui/pagetypes.py
Log Message:
-----------
Clarified typing
Change-Id: Ic766cc53677d8126dc07abfd4c6785b0e5ed869f