Skip to content
GitLab
  • Menu
Projects Groups Snippets
  • /
  • Help
    • Help
    • Support
    • Community forum
    • Submit feedback
    • Contribute to GitLab
  • Sign in / Register
  • dumux dumux
  • Project information
    • Project information
    • Activity
    • Labels
    • Members
  • Repository
    • Repository
    • Files
    • Commits
    • Branches
    • Tags
    • Contributors
    • Graph
    • Compare
  • Issues 96
    • Issues 96
    • List
    • Boards
    • Service Desk
    • Milestones
  • Merge requests 99
    • Merge requests 99
  • CI/CD
    • CI/CD
    • Pipelines
    • Jobs
    • Schedules
  • Deployments
    • Deployments
    • Environments
    • Releases
  • Packages & Registries
    • Packages & Registries
    • Container Registry
  • Monitor
    • Monitor
    • Incidents
  • Analytics
    • Analytics
    • Value stream
    • CI/CD
    • Repository
  • Wiki
    • Wiki
  • Activity
  • Graph
  • Create a new issue
  • Jobs
  • Commits
  • Issue Boards
Collapse sidebar
  • dumux-repositories
  • dumuxdumux
  • Merge requests
  • !1433

[doc][handbook] do not mention debug opts

  • Review changes

  • Download
  • Email patches
  • Plain diff
Merged Dennis Gläser requested to merge fix/handbook-build-guide into master Dec 19, 2018
  • Overview 3
  • Commits 1
  • Changes 3

debug.opts and optim.opts do not exist anymore. This commit adapts the respective section in the handbook.

Edited Dec 19, 2018 by Dennis Gläser
Assignee
Assign to
Reviewer
Request review from
Time tracking
Source branch: fix/handbook-build-guide