diff options
| author | Kartik Agaram <vc@akkartik.com> | 2020-06-05 22:35:23 -0700 |
|---|---|---|
| committer | Kartik Agaram <vc@akkartik.com> | 2020-06-05 22:35:23 -0700 |
| commit | aa804a0a67a081ae55761c67053a07dc7fdf50c0 (patch) | |
| tree | 3cb6190801839602d43da197cd8bf8ecff1f1613 /html/018jump_disp32.cc.html | |
| parent | 4d8364749413a7cdc17ad6c49b3ce782d3b2a790 (diff) | |
| download | mu-aa804a0a67a081ae55761c67053a07dc7fdf50c0.tar.gz | |
6483 - finally, bold markup in the paginator
The state machines are still not composing perfectly. The initial asterisk gets added in one, and the trailing asterisk in another. I suppose "always render the terminator" is fairly regular.
Diffstat (limited to 'html/018jump_disp32.cc.html')
0 files changed, 0 insertions, 0 deletions