Changes
Summary
- Finished implementing ability to copy native lib files into generated (commit: b136c46) (details)
![]() | ide/cgen/src/main/java/org/overture/ide/plugins/cgen/commands/Vdm2CCommand.java (diff) |
![]() | ide/cgen/src/main/java/org/overture/ide/plugins/cgen/commands/Vdm2CCommand.java (diff) |