Commit 5c16ec0d authored by Stephane Glondu's avatar Stephane Glondu

Mark venv as not hygienic and add it to .gitignore

parent bd170a23
*~
_build
_run
venv
env.sh
......@@ -7,3 +7,4 @@
<**/*serializable_j.ml>: warn(-32)
true: warn(A-4-6-29-44-45-48), safe_string
<venv>: not_hygienic
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