Merge pull request #111 from eMoflon/feature/re-add-dark-theme-after-… · eMoflon/emoflon-ibex-eclipse-build@7a2bb70

p7zip 17.05 is already installed and up-to-date. To reinstall 17.05, run: brew reinstall p7zip

wget 1.24.5 is already installed and up-to-date. To reinstall 1.24.5, run: brew reinstall wget

curl 8.8.0 is already installed and up-to-date. To reinstall 8.8.0, run: brew reinstall curl