Zachary Yedidia 087e7207f7 Add 'xterm' option ...

Ref #1489

2020-02-15 12:53:17 -05:00

..

colors.md

Add transparency (#1509)

2020-02-13 18:15:32 -05:00

commands.md

…

copypaste.md

…

defaultkeys.md

…

help.md

…

keybindings.md

…

options.md

Add 'xterm' option

2020-02-15 12:53:17 -05:00

plugins.md

Make default plugin options more explicit

2020-02-12 15:34:13 -05:00

tutorial.md

…