summaryrefslogtreecommitdiff
path: root/index.php
diff options
context:
space:
mode:
authorPatrick Simianer <p@simianer.de>2015-07-13 18:53:10 +0200
committerPatrick Simianer <p@simianer.de>2015-07-13 18:53:10 +0200
commit57a22fcd9d3f32d66cbb0a2b4f41641c21dd4236 (patch)
tree0390e05ba846285d39edf11a037842cd5d07e15b /index.php
parent70c40b2629d66864b76097a185d03e015abab911 (diff)
interface
Diffstat (limited to 'index.php')
-rw-r--r--index.php2
1 files changed, 1 insertions, 1 deletions
diff --git a/index.php b/index.php
index 12492a4..e574c63 100644
--- a/index.php
+++ b/index.php
@@ -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>