diff options
Diffstat (limited to 'index.php')
-rw-r--r-- | index.php | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -28,7 +28,7 @@ <option value="beta_test_C_sparse" onclick="document.getElementById('key').value=this.value;">C (sparse)</option> <option value="beta_test_D" onclick="document.getElementById('key').value=this.value;">D</option> <option value="beta_test_D_sparse" onclick="document.getElementById('key').value=this.value;">D (sparse)</option> - <option value="tiny_test" onclick="document.getElementById('key').value=this.value;">toy example</option> + <option value="toy_example" onclick="document.getElementById('key').value=this.value;">toy example</option> </select> </p> </div> |