commit 74bb2a6afe9143e208be7fa6190456f06189fcf4 Author: Georg Koppen gk@torproject.org Date: Tue Nov 26 08:15:38 2019 +0000

Don't check out securityLevel.properties

Since #24653 landed securityLevel strings are merged into torbutton.dtd. --- import-translations.sh | 1 - 1 file changed, 1 deletion(-)

diff --git a/import-translations.sh b/import-translations.sh index 4e5f29c1..b4c22295 100755 --- a/import-translations.sh +++ b/import-translations.sh @@ -23,7 +23,6 @@ FILEMAP=( "aboutDialog.dtd:torbutton-aboutdialogdtd" "browserOnboarding.properties:torbutton-browseronboardingproperties" "torbutton.dtd:torbutton-torbuttondtd" "torbutton.properties:torbutton-torbuttonproperties" - "securityLevel.properties:torbutton-securitylevelproperties" )

# Verify that the FILEMAP contains an entry for each Torbutton file.