Code

Rename Handles to ObjectSet#2109

Code

Merged

hannobraun merged 6 commits intomainhannobraun/fornjot:mainfrom sethannobraun/fornjot:setCopy head branch name to clipboardNov 24, 2023

+37-38

Commits

Commits on Nov 24, 2023

• Rename Handles to ObjectSet

  Show description for 0bae575
  hannobraun

  committed
  0bae575

• Simplify imports

  hannobraun

  committed
  c38ba17

• Update module name

  hannobraun

  committed
  bd6fa31

• Update documentation of ObjectSet

  hannobraun

  committed
  7626ed4

• Update comment

  hannobraun

  committed
  c2b2fb4

• Update panic messages

  hannobraun

  committed
  580f3f4