Manuale:$wgDiff3
Edit user interface: $wgDiff3 | |
---|---|
Percorso dello strumento GNU diff3 |
|
Introdotto nella versione: | 1.3.0 |
Rimosso nella versione: | Still in use |
Valori concessi: | (percorso assoluto) |
Valore predefinito: | '/usr/bin/diff3' |
Impostazioni: Alfabetiche | Per funzione |
Dettagli
Percorso allo strumento GNU diff3. Se il file non esiste, il conflitto di edizione tornerà alla precedente modalità (nessuna unione).