Changes

Summary

Finished implementing ability to copy native lib files into generated (commit: b136c46) (details)

Commit b136c46e83a99035177498f8e644769775691777 by Victor Bandur Finished implementing ability to copy native lib files into generated code folder. modified: ide/cgen/src/main/java/org/overture/ide/plugins/cgen/commands/Vdm2CCommand.java (commit: b136c46)
	ide/cgen/src/main/java/org/overture/ide/plugins/cgen/commands/Vdm2CCommand.java (diff)