diff options
| author | Adam <adamdharrison@gmail.com> | 2023-05-27 11:24:49 -0400 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-05-27 11:24:49 -0400 |
| commit | 74ced2030dc40b59b0ebce42269780c2f11afb6d (patch) | |
| tree | 31014c095e426170942050b6b95accf9b1d93b9e /.github | |
| parent | 9841bad3c4c09b38fe4d6e743f94d4ee752bd680 (diff) | |
| parent | 8b26999552fd59bcc98bc5d2f4b94b52fd592033 (diff) | |
| download | lite-xl-plugin-manager-74ced2030dc40b59b0ebce42269780c2f11afb6d.tar.gz lite-xl-plugin-manager-74ced2030dc40b59b0ebce42269780c2f11afb6d.zip | |
Merge pull request #16 from Guldoman/PR_fix_manifest_gen_path
Add missing `PATHSEP` to plugin paths in generated manifests
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions