Skip to content

GitLab

I
Iris
Commit bac93796 authored by Ralf Jung's avatar Ralf Jung
Browse files
Options

add missing file to _CoqProject

parent 4f8f4d1f
Pipeline #2272 passed with stage
    Hide whitespace changes
    Inline Side-by-side
    Showing with 1 addition and 0 deletions
    _CoqProject
    View file @ bac93796
    ......@@ -106,6 +106,7 @@ tests/one_shot.v
    tests/joining_existentials.v
    tests/proofmode.v
    tests/barrier_client.v
    tests/list_reverse.v
    proofmode/coq_tactics.v
    proofmode/pviewshifts.v
    proofmode/environments.v
    ......
    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