Commits on Jul 22, 2016

1. firefox: Remove developer files …

   /usr/lib/firefox-devel-47.0.1 removed. There are Firefox
   Development-Tools.I think, we dont need this directory.
   This is 1GB. There is a switch "--disable-developer-tools"
   but unfortunately the directory is still there.

   

   david committed Jul 22, 2016
   Copy the full SHA

   9e9c4d0 View commit details

   Browse the repository at this point in the history