[checkmk-commits] [tribe29/checkmk] 055614: REST-API: Better f12 files