Remove restriction for adding jorks, primary mouse button is now used to attach edges to jorks
Remove restriction for adding jorks, primary mouse button is now used to attach edges to jorks

ulriknyman/H-Uppaal