Code

Add virtual destructors#1463

Code

Draft

lazydroid wants to merge 3 commits intoproductionrdiankov/openrave:productionfrom dev/lenik/add_virtual_destructorsrdiankov/openrave:dev/lenik/add_virtual_destructorsCopy head branch name to clipboard

+27-3

Commits

Commits on Nov 6, 2024

• added virtual destructors

  

  Leonid Terenin

  committed
  ff764ec

  Copy full SHA for ff764ec

Commits on Nov 8, 2024

• Merge branch 'production' into dev/lenik/add_virtual_destructors

  

  Leonid Terenin

  committed
  6d74f1f

  Copy full SHA for 6d74f1f

Commits on Nov 12, 2024

• Merge branch 'production' into dev/lenik/add_virtual_destructors

  

  Leonid Terenin

  committed
  a806559

  Copy full SHA for a806559