diff options
| author | Matt O'Gorman <[email protected]> | 2019-01-08 12:04:28 -0500 |
|---|---|---|
| committer | GitHub <[email protected]> | 2019-01-08 12:04:28 -0500 |
| commit | 2da60bd7600dd5bd7f1f54861cb82af8516c597f (patch) | |
| tree | a00b7c7a72f59a3dffd6bfe4ed24f1c19d4858c3 /lib/tools | |
| parent | f9d43b9e82ec36e8b85b4294f924ad2766d14065 (diff) | |
| download | otp-2da60bd7600dd5bd7f1f54861cb82af8516c597f.tar.gz otp-2da60bd7600dd5bd7f1f54861cb82af8516c597f.tar.bz2 otp-2da60bd7600dd5bd7f1f54861cb82af8516c597f.zip | |
Update tools.app.src
add missing tags too
Diffstat (limited to 'lib/tools')
| -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, |