This issue tracker is closed. Please visit UPPAAL issue tracker at Github instead.

remote team tool
Jellyfish.jpg (image/jpeg), 757.52 KB, created by harryjoe on 2020-03-30 19:18:08 CEST
Creator: harryjoe
Created: 2020-03-30 19:18:08 CEST
Size: 757.52 KB

The attachment is not viewable in your browser due to security restrictions enabled by your Bugzilla administrator.

In order to view the attachment, you first have to download it.

Actions: View
Attachments on bug 262: 85 | 342