diff options
author | Kartik Agaram <vc@akkartik.com> | 2019-12-07 16:36:40 -0800 |
---|---|---|
committer | Kartik Agaram <vc@akkartik.com> | 2019-12-07 18:15:49 -0800 |
commit | f821c0e28b5e9ae9c91758276acd10484f8388bc (patch) | |
tree | 3aba2f5e49d5a45bc328db7da077b7df527483f0 /tools/Readme.md | |
parent | 9e45cae061fd345d3270f236769bd94966a42eb2 (diff) | |
download | mu-f821c0e28b5e9ae9c91758276acd10484f8388bc.tar.gz |
5800 - move `browse_trace` to `tools/` dir
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`. |