Skip to content

GitLab

Commit d8755b5e authored by Ralf Jung's avatar Ralf Jung
Browse files
Options

.gitignore

parent 1d094160
Pipeline #9365 passed with stage
    in 14 minutes and 9 seconds
    Hide whitespace changes
    Inline Side-by-side
    Showing with 1 addition and 0 deletions
    .gitignore
    View file @ d8755b5e
    ......@@ -15,3 +15,4 @@ Makefile.coq.conf
    *.crashcoqide
    html/
    build-dep/
    _opam
    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