diff options
author | Patrick Simianer <p@simianer.de> | 2015-07-13 18:53:10 +0200 |
---|---|---|
committer | Patrick Simianer <p@simianer.de> | 2015-07-13 18:53:10 +0200 |
commit | 57a22fcd9d3f32d66cbb0a2b4f41641c21dd4236 (patch) | |
tree | 0390e05ba846285d39edf11a037842cd5d07e15b /index.php | |
parent | 70c40b2629d66864b76097a185d03e015abab911 (diff) |
interface
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> |