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

Timestamp:

Nov 13, 2018, 4:54:32 PM (7 years ago)

Author:

pett

Comment:

--

2018-11-01

@@ -48 +48 @@
   - ~~{{{ui.cmd}}}~~
   - {{{ui.mousemodes}}} [Tom]
-  - {{{ui.options}}}
+  - {{{ui.options.containers}}}
+  - {{{ui.options.options}}}
 * Greg will markup {{{session}}}
 * TomG will markup {{{volume}}}