diff options
| author | Patrick G <geek1011@users.noreply.github.com> | 2017-03-11 01:28:25 +0000 |
|---|---|---|
| committer | Lunny Xiao <xiaolunwen@gmail.com> | 2017-03-11 09:28:25 +0800 |
| commit | ccc15b9e1a3ddaa2fdf82970d574c9f84449aa3d (patch) | |
| tree | c50a916e9e06b47aa62aac1b8e35e7dded537ef1 /options | |
| parent | 74cde12677bc548487ed1caf192eb19b0b7cf99c (diff) | |
| download | gitea-ccc15b9e1a3ddaa2fdf82970d574c9f84449aa3d.tar.gz gitea-ccc15b9e1a3ddaa2fdf82970d574c9f84449aa3d.zip | |
Make strings translatable (#1188) (#1198)
* Add strings to ini
* Make strings translatable (#1188)
Diffstat (limited to 'options')
| -rw-r--r-- | options/locale/locale_en-US.ini | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/options/locale/locale_en-US.ini b/options/locale/locale_en-US.ini index 81e2e9fbc6..1c2d36e01d 100644 --- a/options/locale/locale_en-US.ini +++ b/options/locale/locale_en-US.ini @@ -837,6 +837,9 @@ settings.add_protected_branch_failed= %s Locked failed settings.remove_protected_branch_success=%s Unlocked successfully settings.protected_branch_deletion=To delete a protected branch settings.protected_branch_deletion_desc=Anyone with write permissions will be able to push directly to this branch. Are you sure? +settings.default_branch_desc = The default branch is considered the "base" branch in your repository against which all pull requests and code commits are automatically made, unless you specify a different branch. +settings.choose_branch = Choose a branch... +settings.no_protected_branch = There are no protected branches diff.browse_source = Browse Source diff.parent = parent |