diff options
author | Harsh Shandilya <me@msfjarvis.dev> | 2022-01-25 13:12:23 +0530 |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-01-25 13:12:23 +0530 |
commit | 6c7a066ea6974e9e81f5889036e42c58d0785392 (patch) | |
tree | b11255e13cadbd2695e105a0891db1d5f7c31cd8 /app/src/main/res/values | |
parent | e7fbcd4f855da053fca4c5592bc84b682ef92963 (diff) |
Add the ability to run garbage collection on the internal Git repository (#1683)
Diffstat (limited to 'app/src/main/res/values')
-rw-r--r-- | app/src/main/res/values/strings.xml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/app/src/main/res/values/strings.xml b/app/src/main/res/values/strings.xml index c11e6f25..88484947 100644 --- a/app/src/main/res/values/strings.xml +++ b/app/src/main/res/values/strings.xml @@ -392,5 +392,6 @@ <string name="pgp_key_import_succeeded_message">The key ID of the imported key is given below, please review it for correctness:\n%1$s</string> <string name="pref_category_pgp_title">PGP settings</string> <string name="pwgen_some_error_occurred">Some error occurred</string> + <string name="git_run_gc_job">Run garbage collection job</string> </resources> |