Changes between Version 6 and Version 7 of 2018-11-01


Ignore:
Timestamp:
Nov 13, 2018, 4:46:26 PM (7 years ago)
Author:
Eric Pettersen
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • 2018-11-01

    v6 v7  
    4747  - ~~{{{ui.font}}}~~
    4848  - ~~{{{ui.cmd}}}~~
    49   - {{{ui.mousemodes}}}
     49  - {{{ui.mousemodes}}} [Tom]
    5050  - {{{ui.options}}}
    5151* Greg will markup {{{session}}}