# HG changeset patch
# User Goffi <goffi@goffi.org>
# Date 1521886238 -3600
# Node ID 14a4c6bb44435ad7aadfb2609d00ee39ba72ef50
# Parent  04609722add0cbeb6edf2042203193abe3b39f0c
file (overview): display a message when directory is empty

diff -r 04609722add0 -r 14a4c6bb4443 default/file/overview.html
--- a/default/file/overview.html	Wed Mar 21 19:07:52 2018 +0100
+++ b/default/file/overview.html	Sat Mar 24 11:10:38 2018 +0100
@@ -34,4 +34,7 @@
         {% endif %}
     {% endfor %}
 </ul>
+{% if not files_data %}
+    <p class="message--info">{% trans %}No files are shared in this directory!{% endtrans %}</p>
+{% endif%}
 {% endblock body %}