1 Commits

Author	SHA1	Message	Date
Matthias Koefferlein	75d686a63f	Changing default "is_merged" status for Edges and Region to false. ... This was a problem with universal DRC which does not specifically set the merged status. Furthermore, the default for DeepRegion and DeepEdges was "false" already and now is aligned.	2022-07-04 00:52:55 +02:00