Small fixes.
Showing
- plugins/contracts/org.polarsys.chess.contracts.transformations/plugin.xml 0 additions, 27 deletions...s/org.polarsys.chess.contracts.transformations/plugin.xml
- plugins/contracts/org.polarsys.chess.contracts.verificationService/src/org/polarsys/chess/verificationService/ui/commands/CheckValidationContractPropertyCommand.java 1 addition, 1 deletion...e/ui/commands/CheckValidationContractPropertyCommand.java
Loading
Please register or sign in to comment