Repository navigation

Remove unnecessary copy - #177

Merged

alecjacobson merged 2 commits into

mainfrom

alecjacobson/rm-copy

Feb 12, 2023

Merged

Remove unnecessary copy#177
alecjacobson merged 2 commits into
mainfrom
alecjacobson/rm-copy

Commits on Feb 11, 2023
- remove copy after libigl fix
  alecjacobson
  committed
  f43fa16
Commits on Feb 12, 2023
- bump libigl
  alecjacobson
  authored
  7f2c85e