Skip to content

GitLab

Commit 5da5f481 authored by Léo Andrès's avatar Léo Andrès
Browse files

Merge branch 'gitignore' into 'master' 

Add _opam and .vscode to .gitignore

See merge request !1
parents 8be02a11 7c16caaa
Pipeline #16530 failed with stages
in 7 minutes and 44 seconds