[Jenkins]Jenkins

SuccessChanges

Summary

  1. Incorrectly used File.rename(). (commit: a9d5784) (details)
Commit a9d57844440a4edb73c0a30c945c87d10819793d by Victor Bandur
Incorrectly used File.rename().
	modified:  
ide/cgen/src/main/java/org/overture/ide/plugins/cgen/commands/Vdm2CCommand.java
 (commit: a9d5784)
The file was modifiedide/cgen/src/main/java/org/overture/ide/plugins/cgen/commands/Vdm2CCommand.java (diff)