Removed messages to inexistent OPPetriNetsIcons>>current message#10

Open

Driolar wants to merge 2 commits intoOpenPonk:masterfrom

Commits on Dec 29, 2025

Temporary for clean loading of group bcpn.
Driolar
committed

Commits on Dec 30, 2025

Removed obsolet #current.
Driolar
committed