Skip to content
GitLab
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 105
    • Issues 105
    • List
    • Boards
    • Service Desk
    • Milestones
  • Merge requests 87
    • Merge requests 87
  • CI/CD
    • CI/CD
    • Pipelines
    • Jobs
    • Schedules
  • Deployments
    • Deployments
    • Environments
    • Releases
  • Packages and registries
    • Packages and 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-repositoriesdumux-repositories
  • dumuxdumux
  • Merge requests
  • !1120

[properties] improve the output of the type/property tag tree

  • Review changes

  • Download
  • Email patches
  • Plain diff
Merged Bernd Flemisch requested to merge feature/improve-properties-output into master Jul 20, 2018
  • Overview 1
  • Commits 3
  • Pipelines 0
  • Changes 1

Add output of the type tag tree in the beginning. Print file information more selectively. Remove unnecessary parts from the property value string.

Edited Jul 20, 2018 by Bernd Flemisch
Assignee
Assign to
Reviewers
Request review from
Time tracking
Source branch: feature/improve-properties-output