diff options
| -rw-r--r-- | lib/tools/src/tools.app.src | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/lib/tools/src/tools.app.src b/lib/tools/src/tools.app.src index 8f5dd8abe3..f0e0fc4bec 100644 --- a/lib/tools/src/tools.app.src +++ b/lib/tools/src/tools.app.src @@ -27,6 +27,7 @@ instrument, lcnt, make, + tags, xref, xref_base, xref_compiler, |