Hinweis
Für den Zugriff auf diese Seite ist eine Autorisierung erforderlich. Sie können versuchen, sich anzumelden oder das Verzeichnis zu wechseln.
Für den Zugriff auf diese Seite ist eine Autorisierung erforderlich. Sie können versuchen, das Verzeichnis zu wechseln.
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 |