diff --git a/config.yml b/config.yml index 6070be2a..0c7e2595 100644 --- a/config.yml +++ b/config.yml @@ -34,6 +34,7 @@ params: "Tools": "" "Tools:Bitgen": "" "Tools:Grammars": "" + "Tools:Intermediate Representation": "" "Tools:Managers": "" "Tools:Package Managers": "" "Tools:Parsers": ""