Skip to content

Improve VDMTools integration options #146

@FrederikPM

Description

@FrederikPM

Add a Find File link.
Make it clear which binary should be linked - eg. /usr/local/bin/vdmtools-sl/bin/vdmgde

Metadata

Metadata

Assignees

No one assigned

    Labels

    enhancementNew feature or request

    Type

    No type

    Projects

    No projects

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions