The Wayback Machine - https://web.archive.org/web/20220218111040/https://github.com/ms-jpq/coq_nvim/blob/coq/.dockerignore
Skip to content
Permalink
coq
Switch branches/tags

coq_nvim/.dockerignore

Go to file
 
 
Cannot retrieve contributors at this time
3 lines (3 sloc) 29 Bytes
Raw Blame
/.venv/
/.vars/
__pycache__/