commit 98856ffc1df77b52da1377697d16858a2534c339 Author: Colin Childs <colin@torproject.org> Date: Sun Nov 22 21:02:11 2015 -0600 Removing torbutton-branddtd_completed and torbutton-torbuttonproperties --- config | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/config b/config index 085c082..d92a3a5 100644 --- a/config +++ b/config @@ -19,8 +19,7 @@ tor-launcher-network-settings tor-launcher-network-settings_completed tails-misc tails-misc_completed abouttor-homepage abouttor-homepage_completed torbutton-brandproperties torbutton-brandproperties_completed torbutton-branddtd -torbutton-branddtd_completed torbutton-browserproperties -torbutton-browserproperties_completed torbutton-torbuttonproperties +torbutton-branddtd_completed torbutton-torbuttonproperties torbutton-torbuttondtd tails-iuk tails-iuk_completed tails-perl5lib tails-perl5lib_completed tor-and-https tor-and-https_completed tor_animation tor_animation_completed torbutton-aboutdialogdtd