Nota
L'accesso a questa pagina richiede l'autorizzazione. È possibile provare ad accedere o modificare le directory.
L'accesso a questa pagina richiede l'autorizzazione. È possibile provare a modificare le directory.
Classes
| Class | Description | |
|---|---|---|
.gif "Public class") |
DifferenceProvider | The difference provider class used as the default tool when no other user compare tool is configured |
|
MergeProvider | The merge provider class used as the default tool when no other user merge tool is configured |