Checkerkonfiguration: Unterschied zwischen den Versionen
Zur Navigation springen
Zur Suche springen
PRanz (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „Im Folgenden werden die verschiedenen Konfigurationsmöglichkeiten der JACK2-Checker beschrieben. ==Allgemeine Konfigurationen== Diese Konfigurationen gibt e…“) |
PRanz (Diskussion | Beiträge) Keine Bearbeitungszusammenfassung |
||
| Zeile 9: | Zeile 9: | ||
===Checker-Name=== | ===Checker-Name=== | ||
==Ergebnis-Label=== | ===Ergebnis-Label=== | ||
===Zeige Ergebnis in der Übersicht=== | ===Zeige Ergebnis in der Übersicht=== | ||
| Zeile 15: | Zeile 15: | ||
=== Zeige Ergebnisdetails=== | === Zeige Ergebnisdetails=== | ||
=== Checker ist aktiviert | === Checker ist aktiviert=== | ||
==Checker-spezifische Konfigurationen== | ==Checker-spezifische Konfigurationen== | ||
Version vom 31. März 2021, 10:36 Uhr
Im Folgenden werden die verschiedenen Konfigurationsmöglichkeiten der JACK2-Checker beschrieben.
Allgemeine Konfigurationen
Diese Konfigurationen gibt es bei allen Checkern.