Révision 2137
| tmp/org.txm.core/src/java/org/txm/Toolbox.java (revision 2137) | ||
|---|---|---|
| 629 | 629 |
return false; |
| 630 | 630 |
} else {
|
| 631 | 631 |
//System.out.println(TXMCoreMessages.DONE); |
| 632 |
|
|
| 633 | 632 |
// updating extension files |
| 634 | 633 |
IConfigurationElement[] contributions = Platform.getExtensionRegistry().getConfigurationElementsFor(PostTXMHOMEInstallationStep.EXTENSION_ID); |
| 635 | 634 |
//System.out.println("contributions: "+Arrays.toString(contributions));
|
Formats disponibles : Unified diff