Branch: refs/heads/1.6.0 Home: https://github.com/tribe29/checkmk Commit: 6b0035b00e51f48457600b93bb921ac994da5539 https://github.com/tribe29/checkmk/commit/6b0035b00e51f48457600b93bb921ac99… Author: Sven Panne <sven.panne(a)tribe29.com> Date: 2019-08-31 (Sat, 31 Aug 2019) Changed paths: M web/.f12 Log Message: ----------- Made web/.f12 a bit more similar to parts of the top-level Makefile. The .f12 scripts should really, really die and be replaced by Makefile targets: They are a constant source of bugs caused by code duplication and minor (often unintended) differences. Note that we still do not delete superfluous/deleted files from the site. This is a different story... Change-Id: Ibe9a8d16378ef5f5e63eac38481b9f74dd85ae0b