Update tasks files.
Change-Id: Id86724842e819f5335a32c1fb68b595fceed0405
Showing
- plugins/contracts/org.polarsys.chess.contracts.transformations/tasks/generate.xml 9 additions, 63 deletions...larsys.chess.contracts.transformations/tasks/generate.xml
- plugins/contracts/org.polarsys.chess.contracts.transformations/tasks/generateErrorModel.xml 9 additions, 63 deletions...ss.contracts.transformations/tasks/generateErrorModel.xml
- plugins/contracts/org.polarsys.chess.contracts.transformations/tasks/generateFaultExtensions.xml 9 additions, 63 deletions...ntracts.transformations/tasks/generateFaultExtensions.xml
Please register or sign in to comment