- 11 Aug, 2017 3 commits
-
-
Ansgar Burchardt authored
-
Ansgar Burchardt authored
-
Ansgar Burchardt authored
-
- 07 Aug, 2017 2 commits
-
-
Ansgar Burchardt authored
-
Ansgar Burchardt authored
doxygen embeds a copy of jquery.js in the generated documentation.
-
- 18 Jul, 2017 3 commits
-
-
Ansgar Burchardt authored
-
Ansgar Burchardt authored
-
Ansgar Burchardt authored
-
- 17 Jul, 2017 1 commit
-
-
Ansgar Burchardt authored
-
- 17 Jun, 2017 2 commits
-
-
Ansgar Burchardt authored
-
Ansgar Burchardt authored
-
- 22 Feb, 2017 1 commit
-
-
Ansgar Burchardt authored
-
- 14 Feb, 2017 2 commits
-
-
Ansgar Burchardt authored
-
Ansgar Burchardt authored
-
- 18 Dec, 2016 2 commits
-
-
Ansgar Burchardt authored
-
Ansgar Burchardt authored
-
- 05 Dec, 2016 5 commits
-
-
Ansgar Burchardt authored
-
Ansgar Burchardt authored
Bug-Debian: https://bugs.debian.org/847142
-
Ansgar Burchardt authored
-
Ansgar Burchardt authored
While we currently don't have any module-specific options, it might be useful to keep the option to set them available.
-
Ansgar Burchardt authored
-
- 22 Nov, 2016 5 commits
-
-
Ansgar Burchardt authored
-
Ansgar Burchardt authored
-
Ansgar Burchardt authored
-
Ansgar Burchardt authored
-
Ansgar Burchardt authored
This should fix the build failure on 32bit architectures. Bug: https://gitlab.dune-project.org/core/dune-common/merge_requests/181
-
- 21 Nov, 2016 8 commits
-
-
Ansgar Burchardt authored
-
Ansgar Burchardt authored
-
Ansgar Burchardt authored
-
Ansgar Burchardt authored
-
Ansgar Burchardt authored
-
Ansgar Burchardt authored
-
Ansgar Burchardt authored
-
Ansgar Burchardt authored
-
- 29 Feb, 2016 2 commits
-
-
Ansgar Burchardt authored
-
Ansgar Burchardt authored
-
- 28 Feb, 2016 3 commits
-
-
Ansgar Burchardt authored
-
Ansgar Burchardt authored
-
Ansgar Burchardt authored
-
- 22 Jan, 2016 1 commit
-
-
Ansgar Burchardt authored
-