diff options
| author | Ethan Koenig <ethantkoenig@gmail.com> | 2017-10-26 23:10:54 -0700 |
|---|---|---|
| committer | Lauris BH <lauris@nix.lv> | 2017-10-27 09:10:54 +0300 |
| commit | 5866eb23217de4d29b181e30c26cee28ebc6aedc (patch) | |
| tree | f8f67462544c709e8dd6988ca4d55a22cfc3a22c /options/locale | |
| parent | 762f1d7237de5727815ebda9593f7f9a20a5a077 (diff) | |
| download | gitea-5866eb23217de4d29b181e30c26cee28ebc6aedc.tar.gz gitea-5866eb23217de4d29b181e30c26cee28ebc6aedc.zip | |
Code/repo search (#2582)
Indexed search of repository contents (for default branch only)
Diffstat (limited to 'options/locale')
| -rw-r--r-- | options/locale/locale_en-US.ini | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/options/locale/locale_en-US.ini b/options/locale/locale_en-US.ini index 6fa33e97c0..2714d93209 100644 --- a/options/locale/locale_en-US.ini +++ b/options/locale/locale_en-US.ini @@ -848,6 +848,10 @@ activity.title.releases_n = %d Releases activity.title.releases_published_by = %s published by %s activity.published_release_label = Published +search = Search +search.search_repo = Search repository +search.results = Search results for "%s" in <a href="%s">%s</a> + settings = Settings settings.desc = Settings is where you can manage the settings for the repository settings.options = Options |