Inherit defect related triples when operations are performed on the structure#159
Merged
srmnitc merged 15 commits intomainfrom inherit_triplesAug 15, 2024
+262-63
Commits
Commits on Aug 15, 2024
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
