adopt both themes for changes affecting add-ons manager between Mozilla 6 and 7
authorRobert Kaiser <robert@notebook.box.kairo.at>
Fri, 7 Oct 2011 20:12:27 +0000 (22:12 +0200)
committerRobert Kaiser <robert@notebook.box.kairo.at>
Fri, 7 Oct 2011 20:12:27 +0000 (22:12 +0200)

No differences found