Commit 4b5752fb authored by Maximilien Colange's avatar Maximilien Colange

Remove batteries also from merlin configuration file.

parent 9550b8d2
......@@ -3,5 +3,5 @@ S uppaal_parser
B _build/src/
B _build/uppaal_parser/
PKG batteries udbml xml-light
PKG udbml xml-light
B @UDBML_ROOT@/udbml
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