diff options
| author | Kartik Agaram <vc@akkartik.com> | 2019-04-09 08:41:44 -0700 |
|---|---|---|
| committer | Kartik Agaram <vc@akkartik.com> | 2019-04-09 08:41:44 -0700 |
| commit | cc1349523eae586116d30963664fb53d8aef1eea (patch) | |
| tree | 7199b53441a1135ad80fb9ff26efe626172defd7 /continuation4.mu | |
| parent | e5dab928102281cd00fc59f1518c1d8ecddc5a75 (diff) | |
| download | mu-cc1349523eae586116d30963664fb53d8aef1eea.tar.gz | |
5065
Fix a documentation bug since commit 3765. Line-wise navigation in the trace browser doesn't yet support scrolling.
Diffstat (limited to 'continuation4.mu')
0 files changed, 0 insertions, 0 deletions