SuccessChanges

Summary

  1. Bug in sample make file copy. (commit: 794251e) (details)
Commit 794251e44219525c970338d36afc48aba4a1f2ea by Victor Bandur
Bug in sample make file copy.
modified: 
ide/cgen/src/main/java/org/overture/ide/plugins/cgen/commands/Vdm2CCommand.java
(commit: 794251e)
The file was modifiedide/cgen/src/main/java/org/overture/ide/plugins/cgen/commands/Vdm2CCommand.java (diff)