Commit c266d12e authored by Andrei Paskevich's avatar Andrei Paskevich
Browse files

.merlin: add src/trywhy3

parent 91932c03
...@@ -13,6 +13,7 @@ S src/coq-tactic ...@@ -13,6 +13,7 @@ S src/coq-tactic
S src/why3session S src/why3session
S src/why3doc S src/why3doc
S src/jessie S src/jessie
S src/trywhy3
S plugins/parser S plugins/parser
S plugins/printer S plugins/printer
S plugins/transform S plugins/transform
...@@ -34,6 +35,7 @@ B src/coq-tactic ...@@ -34,6 +35,7 @@ B src/coq-tactic
B src/why3session B src/why3session
B src/why3doc B src/why3doc
B src/jessie B src/jessie
B src/trywhy3
B plugins/parser B plugins/parser
B plugins/printer B plugins/printer
B plugins/transform B plugins/transform
......
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