diff -r aec51a27ca54 -r 42a075216a35 design/list.html --- a/design/list.html Thu Jun 15 16:51:24 2017 +0200 +++ b/design/list.html Thu Jun 15 17:11:09 2017 +0200 @@ -18,7 +18,7 @@ - {% include nav.html %} + {% include nav.html search=true %}
{% include sessions.list.html %}