Skip to content

Prioritized labels

Drag to reorder prioritized labels and change their relative priority.

Other labels

  • bug
    pseuco / colored-petri-nets
  • enhancement
    pseuco / colored-petri-nets