diff options
Diffstat (limited to 'tools/Readme.md')
-rw-r--r-- | tools/Readme.md | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/tools/Readme.md b/tools/Readme.md index 29a1a6ef..fd889ec5 100644 --- a/tools/Readme.md +++ b/tools/Readme.md @@ -12,6 +12,8 @@ These are built automatically. These are built lazily. +* `browse_trace`: debugging tool. See `browse_trace.readme.md` for details. + * `linkify`: inserts hyperlinks from variables to definitions in Mu's html sources. Hacky; just see the number of tests. Invoked by `update_html`. |