SuccessChanges

Summary

  1. Native lib files getting copied over were getting extra character at end (commit: a4543ea) (details)
Commit a4543eaf89b8cfe49a6385a3f97b231d5a374493 by Victor Bandur
Native lib files getting copied over were getting extra character at end
of file, had to do with the behaviour of JarInputStream.read().
modified: 
ide/cgen/src/main/java/org/overture/ide/plugins/cgen/commands/Vdm2CCommand.java
(commit: a4543ea)
The file was modifiedide/cgen/src/main/java/org/overture/ide/plugins/cgen/commands/Vdm2CCommand.java (diff)