diff options
author | Holger Wansing <hwansing@mailbox.org> | 2023-02-05 22:10:49 +0100 |
---|---|---|
committer | Laura Arjona Reina <larjona@debian.org> | 2023-06-10 19:31:21 +0200 |
commit | c2aafefc32e2c54ff6fcba136ec3e2ef2940332d (patch) | |
tree | 91235d13e0dbd870b4a2e69c967566cff943cab7 /english/distrib | |
parent | 65bd97b2cb00e0ef96c0166b86b98831e72e6592 (diff) |
Update webpage to GR non-free-firmware: distrib/search_packages-form.inc: add additional choice 'non-free-firmware' to dropdown list for 'Section'
Diffstat (limited to 'english/distrib')
-rw-r--r-- | english/distrib/search_packages-form.inc | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/english/distrib/search_packages-form.inc b/english/distrib/search_packages-form.inc index 4f1fb2d1e59..cdd2bf291fe 100644 --- a/english/distrib/search_packages-form.inc +++ b/english/distrib/search_packages-form.inc @@ -36,6 +36,7 @@ <option value="main"><gettext domain="distrib">main</gettext></option> <option value="contrib"><gettext domain="distrib">contrib</gettext></option> <option value="non-free"><gettext domain="distrib">non-free</gettext></option> + <option value="non-free-firmware"><gettext domain="distrib">non-free-firmware</gettext></option> <option value="all" selected="selected"><gettext domain="distrib">any</gettext></option> </select> </div> |