summaryrefslogtreecommitdiffstatshomepage
path: root/docs/about.rst
diff options
context:
space:
mode:
authorWolfgang Müller2024-11-14 17:28:56 +0100
committerWolfgang Müller2024-11-14 20:45:03 +0100
commita43a295335f24bcb924e96718edcdd64a08f3597 (patch)
treee0eb54b6c631149f5a68aa592549154bd278e0ed /docs/about.rst
parent48367ab281b28a5084ef0861affa436402ec990d (diff)
downloadhircine-a43a295335f24bcb924e96718edcdd64a08f3597.tar.gz
build: Mark coverage as PHONY target
Otherwise make will refuse to regenerate coverage information if the coverage/ directory already exists.
Diffstat (limited to 'docs/about.rst')
0 files changed, 0 insertions, 0 deletions