[Jenkins]Jenkins

SuccessChanges

Summary

  1. Moving library file copy functionality to IDE plugin. (commit: e00abd1) (details)
Commit e00abd12b96513fb061179db749e54867eb65b38 by Victor Bandur
Moving library file copy functionality to IDE plugin.
	modified:  
core/vdm2c/src/main/java/org/overture/codegen/vdm2c/CGen.java
modified:  
ide/cgen/src/main/java/org/overture/ide/plugins/cgen/commands/Vdm2CCommand.java
 (commit: e00abd1)
The file was modifiedide/cgen/src/main/java/org/overture/ide/plugins/cgen/commands/Vdm2CCommand.java (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/CGen.java (diff)