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 /lib/mbedtls-2.27.0/scripts/mbedtls_dev | |
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 'lib/mbedtls-2.27.0/scripts/mbedtls_dev')
0 files changed, 0 insertions, 0 deletions