Add PDE bootstrap url override feature#52

Merged

nedtwigg merged 5 commits intodiffplug:masterfrom

hacki11:ft-pdeBootstrapUrl

Feb 5, 2018

Commits on Feb 4, 2018

Allow providing a pde bootstrap installation like p2bootstrap feature does with a pdebootstrapurl override
hacki11
committed
Merge branch 'master' of https://github.com/diffplug/goomph into ft-pdeBootstrapUrl
hacki11
committed
change whitespaces to tabs for spotless
hacki11
committed
add #49 to changes.md
hacki11
committed
mixed up pull requests
hacki11
committed