Code

Remove unused parts of Shape API#730

Code

Merged

hannobraun merged 5 commits intomainhannobraun/fornjot:mainfrom shapehannobraun/fornjot:shapeCopy head branch name to clipboardJun 28, 2022

+30-262

Commits

Commits on Jun 28, 2022

• Remove Shape::clone_shape

  Show description for 44bee47
  hannobraun

  committed
  44bee47

  Copy full SHA for 44bee47

• Don't return Mapping from Shape::merge_shape

  Show description for 9ae80a8
  hannobraun

  committed
  9ae80a8

  Copy full SHA for 9ae80a8

• Remove Mapping from merge infrastructure

  Show description for f269333
  hannobraun

  committed
  f269333

  Copy full SHA for f269333

• Remove Mapping

  Show description for 763e1ee
  hannobraun

  committed
  763e1ee

  Copy full SHA for 763e1ee

• Remove unused trait method argument

  hannobraun

  committed
  45877ee

  Copy full SHA for 45877ee