Merge branch 'development' into public-corpora

This commit is contained in:
Patrick Jentsch committed 2022-12-07 14:05:21 +01:00
commit f056a15ba8
16 files changed
+282 -159

No files matched your search

+19
View File
@@ -42,6 +42,25 @@
</div>
</div>
</div>
<div class="col s12" id="social">
<h3>Social</h3>
<div class="col s6">
<div class="card">
<div class="card-content">
<span class="card-title">Other users and groups</span>
<p>Find other users and follow them to see their corpora and groups.</p>
</div>
</div>
</div>
<div class="col s6">
<div class="card">
<div class="card-content">
<span class="card-title">Public corpora</span>
<p>Find public corpora</p>
</div>
</div>
</div>
</div>
</div>
</div>
{% endblock page_content %}