Fix org.eclipse.jdt.core.prefs files.
Change-Id: I862283be2e95136340165bdf6424ca1d3d0fdb69
Showing
- plugins/contracts/org.polarsys.chess.contracts.chessextension/.settings/org.eclipse.jdt.core.prefs 3 additions, 3 deletions...racts.chessextension/.settings/org.eclipse.jdt.core.prefs
- plugins/contracts/org.polarsys.chess.contracts.integration/.settings/org.eclipse.jdt.core.prefs 3 additions, 3 deletions...ontracts.integration/.settings/org.eclipse.jdt.core.prefs
- plugins/contracts/org.polarsys.chess.contracts.verificationService/.settings/org.eclipse.jdt.core.prefs 7 additions, 0 deletions....verificationService/.settings/org.eclipse.jdt.core.prefs
- plugins/fla/org.polarsys.chess.xtext.fladsl.ide/.settings/org.eclipse.jdt.core.prefs 7 additions, 0 deletions...ess.xtext.fladsl.ide/.settings/org.eclipse.jdt.core.prefs
- plugins/org.polarsys.chess.monitoring.tests/.settings/org.eclipse.jdt.core.prefs 7 additions, 0 deletions...ess.monitoring.tests/.settings/org.eclipse.jdt.core.prefs
- plugins/org.polarsys.chess.test.runtime/.settings/org.eclipse.jdt.core.prefs 3 additions, 3 deletions...s.chess.test.runtime/.settings/org.eclipse.jdt.core.prefs
Please register or sign in to comment