Attachment #180459
Four additional patch files for editors/jove text/plain 2017-03-03 10:30:02 UTC 2.51 KB no flags Details
Attachment #180460
jove.diff patch 2017-03-03 10:56:21 UTC 3.05 KB no flags Details