Manual:$wgDiff/de

Details
Pfad zum GNU diff-Dienstprogramm.