+++ /dev/null
-<h1>Enable AJAX</h1>
-<p>Adds a layer of AJAX functionality to the grader report, simplifying and speeding up common operations. Depends on Javascript being switched on at the user\'s browser level.</p>
+++ /dev/null
-<h1>Grades</h1>
-
+++ /dev/null
-<h1>Grade categories</h1>
-<p></p>
+++ /dev/null
-<h1>Grade exceptions</h1>
-<p></p>
+++ /dev/null
-<h1>Grade letter default</h1>
-<p>A letter or other symbol used to represent a range of grades. Leave this field empty to use the site default (currently $a).</p>
+++ /dev/null
-<h1>Keep the highest</h1>
-<p>If set, this option will only keep the X highest grades, X being the selected value for this option.</p>