diff options
author | J Blackman <blckmn@users.noreply.github.com> | 2022-11-09 02:11:07 +0300 |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-11-09 02:11:07 +0300 |
commit | 2a016853739a518731736658f828598c00d0cec2 (patch) | |
tree | da151243cf27a1e410991bdc20abc0a3a52cbd34 /locales | |
parent | b0a2c40c22163eb9c4863613bf451a241a3f2f19 (diff) |
Adding custom define input box (#3074)
Diffstat (limited to 'locales')
-rw-r--r-- | locales/en/messages.json | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/locales/en/messages.json b/locales/en/messages.json index 36691246..45a6b5fb 100644 --- a/locales/en/messages.json +++ b/locales/en/messages.json @@ -6740,5 +6740,11 @@ }, "firmwareFlasherBranchDescription": { "message": "Especially useful for developers, you can select a merged PR, specify a commit sha, or specify a 'yet to be merged' PR by typing in: pull/{PR number}/head ." + }, + "firmwareFlasherCustomDefinesDescription": { + "message": "For developers, you can add any defines you need, separated by a `space`, but without the `USE_` prefix, it will be added automatically for you." + }, + "firmwareFlasherBuildCustomDefines": { + "message": "Custom Defines" } } |