[checkmk-commits] [tribe29/checkmk] 010db3: rename hover.js to hover.js