Skip to content
GitLab
Explore
Sign in
MICADO
MICADO-WISE
Merge requests
!355
Remove dummy
Code
Review changes
Check out branch
Download
Patches
Plain diff
Hugo Buddelmeijer
requested to merge
hb/feature/removedummy
into
develop
Aug 30, 2022
Overview
6
Commits
10
Pipelines
8
Changes
300
Expand
Apparently it is not necessary to use the
dummy_*
persistent properties anymore!
Edited
Aug 31, 2022
by
Willem-Jan Vriend
Merge request reports