minor improvements of the manual #19

Triggered via push August 4, 2024 10:05

gisogrimm

development

Status Success

Total duration 8m 23s

Artifacts 2

ubuntu_2204.yml

on: push

Produced during runtime

Name	Size
tascar-debian Expired	59.5 MB
tascar-manual Expired	2.45 MB