also preserve slice tags for deleted slices
authorThierry Parmentelat <thierry.parmentelat@inria.fr>
Mon, 14 Oct 2024 17:46:36 +0000 (19:46 +0200)
committerThierry Parmentelat <thierry.parmentelat@inria.fr>
Mon, 14 Oct 2024 17:46:36 +0000 (19:46 +0200)
commit4ea23f3ef29568fae3ea2fca3cbcce30d33ad9e6
tree8d17f57303658e69bf36abbc093122cdb3d05828
parentc9c98e9dac8fa4ae482e743d9e916f94f0aee453
also preserve slice tags for deleted slices
PLC/Slices.py