diff options
| author | Kartik K. Agaram <vc@akkartik.com> | 2016-10-09 00:24:24 -0700 |
|---|---|---|
| committer | Kartik K. Agaram <vc@akkartik.com> | 2016-10-09 00:24:24 -0700 |
| commit | b4d5b58959f9d416976910609f46733ee91bacb0 (patch) | |
| tree | 3293be48d95f44481ae2b0cf151099ccf112898f /html/edit/002-typing.mu.html | |
| parent | ceeb92d470c29613f6a036f9c2077126ecc09b47 (diff) | |
| download | mu-b4d5b58959f9d416976910609f46733ee91bacb0.tar.gz | |
3491
Update the html, proving that commit 3490 worked. The only changes are from other recent commits.
Diffstat (limited to 'html/edit/002-typing.mu.html')
| -rw-r--r-- | html/edit/002-typing.mu.html | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/html/edit/002-typing.mu.html b/html/edit/002-typing.mu.html index 8dd0fd48..256f1805 100644 --- a/html/edit/002-typing.mu.html +++ b/html/edit/002-typing.mu.html @@ -310,7 +310,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color row:num, column:num<span class="Special"> <- </span>render screen, editor clear-line-until screen, right row<span class="Special"> <- </span>add row, <span class="Constant">1</span> - draw-horizontal screen, row, left, right, <span class="Constant">9548/horizontal-dashed</span> + draw-horizontal screen, row, left, right, <span class="Constant">9480/horizontal-dotted</span> row<span class="Special"> <- </span>add row, <span class="Constant">1</span> clear-screen-from screen, row, left, left, right ] |