Merge requests · dune-community

Debian refactor

docker!10 · created Nov 06, 2017 by Tobias Leibner master
- Merged
- 2
updated Nov 07, 2017
Switch from dailywork:sometag to dailywork_sometag

docker!4 · created May 15, 2017 by Tobias Leibner master
- Merged
- 1
updated May 15, 2017
[arch] force removal of "$GNUPGHOME"

docker!3 · created May 11, 2017 by Tobias Leibner master
- Merged
- 2
updated May 15, 2017
Refactor

docker!2 · created May 09, 2017 by Tobias Leibner master
- Merged
- 3
updated May 15, 2017
Update README.md

docker!1 · created Apr 07, 2017 by Tobias Leibner master
- Merged
- 5
updated Apr 10, 2017
Main opts refactor

config-opts!4 · created Feb 01, 2017 by René Fritze
- Merged
- 2
updated Feb 06, 2017
Test suite

config-opts!2 · created Mar 30, 2016 by René Fritze
- Merged
- 1
updated Apr 11, 2016
Test suite + (partial) py 3 compat

local-bin!2 · created Mar 29, 2016 by René Fritze
- Merged
- 2
updated Apr 11, 2016