First implementation of the panel dedicated to the download, divided by type of the downloaded resource

2021-08-28 16:54:12 +02:00
1 parent 8789b44e26
commit 23568bae9b
@@ -9,6 +9,7 @@
    <string name="library_menu_label">Library</string>
    <string name="home_menu_label">Home</string>
    <string name="search_menu_label">Search</string>
+    <string name="download_menu_label">Download</string>
    <string name="label_placeholder">--</string>
    <string name="label_dot_separator">•</string>