Changes
Summary
- Target directory still not quite right. (commit: c3ca0bd) (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) |