add make clean to ci, clean up docs (!46) · Merge requests · RDM Tools / Plot Serializer · GitLab

Snippets Groups Projects

Aufgrund einer Wartung am 01.07.2025 von 8:00 bis 09:00 Uhr werden git.rwth-aachen.de & git-ce.rwth-aachen.de zeitweise nicht zur Verfügung stehen.

Due to maintenance at 01.07.2025 from 8:00 to 09:00, git.rwth-aachen.de & git-ce.rwth-aachen.de will be temporarily unavailable.

Merged Leštáková, Michaela requested to merge fix-docs into main 2 months ago

Activity

Leštáková, Michaela assigned to @michaela.lestakova 2 months ago

assigned to @michaela.lestakova
Leštáková, Michaela merged 2 months ago

merged
Leštáková, Michaela mentioned in commit d23f06b5 2 months ago

mentioned in commit d23f06b5

Please register or sign in to reply