ignore

parent 50513e70
...@@ -222,6 +222,7 @@ pvsbin/ ...@@ -222,6 +222,7 @@ pvsbin/
/plugins/python/examples/mult/ /plugins/python/examples/mult/
/plugins/python/examples/dicho/ /plugins/python/examples/dicho/
/plugins/python/examples/sort/ /plugins/python/examples/sort/
/plugins/python/examples/sort++/
# /drivers # /drivers
/drivers/coq-realizations.aux /drivers/coq-realizations.aux
......
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