diff options
author | rxi <rxi@users.noreply.github.com> | 2020-05-26 09:55:33 +0100 |
---|---|---|
committer | rxi <rxi@users.noreply.github.com> | 2020-05-26 09:55:33 +0100 |
commit | b80e49cb2c606f434b77ef2a0cd1f0a85db42f52 (patch) | |
tree | 65573aa82a568221edfd95273ae04665ff3404fe /plugins/ghmarkdown.lua | |
parent | ed3242d4751a67055f307afd3d605de56c2d3be8 (diff) | |
download | lite-xl-plugins-b80e49cb2c606f434b77ef2a0cd1f0a85db42f52.tar.gz lite-xl-plugins-b80e49cb2c606f434b77ef2a0cd1f0a85db42f52.zip |
Updated `workspace` plugin to handle unsaved doc/non-doc views
Diffstat (limited to 'plugins/ghmarkdown.lua')
0 files changed, 0 insertions, 0 deletions