diff options
Diffstat (limited to 'site/index.html')
| -rw-r--r-- | site/index.html | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/site/index.html b/site/index.html index 71ca54d..86b253d 100644 --- a/site/index.html +++ b/site/index.html @@ -62,7 +62,8 @@ <summary>source code</summary> <div> <select class='src-select'> - <option>rob.fs</option> + <option selected>rob.fs</option> + <option>bor.fs</option> <option>fac.fs</option> <option>slo-fac.fs</option> </select> |