Skip to content

GitLab

P
ProofScriptParser
Commit 36832366 authored by sarah.grebing's avatar sarah.grebing
Browse files
Options

Merge branch '55-add-variable-view-to-goaloptionsview' into 'master' 

Resolve "Add Variable View to GoalOptionsView"

Closes #55

See merge request !23
parents c70c5bf6 65d8606e
Pipeline #33254 passed with stages
        in 2 minutes and 5 seconds
        Hide whitespace changes
        Inline Side-by-side
        Showing with 0 additions and 0 deletions
        Markdown is supported
        0% or .
        You are about to add 0 people to the discussion. Proceed with caution.
        Finish editing this message first!
        Please register or to comment