Skip to content

follow up on fixes (actually...)

FredZinelli requested to merge quick-guide into main
  • FIX #98 (closed): fix Kosaraju code (multiple locations + indentation mistake)
  • FIX #99 (closed): enforce uniqueness of locations per animation snapshot, to be sure no bad surprizes in the exported animations

Merge request reports