ignore

parent c9c143de
......@@ -188,6 +188,8 @@ pvsbin/
/examples/*/*.tex
/examples/*/*/*.tex
/examples/*/*/*/*.tex
/examples/runstrat/makejob.opt
/examples/runstrat/runstrat.opt
# modules
/modules/string/
......
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