diff options
| author | jgmdev <jgmdev@gmail.com> | 2022-02-16 05:57:28 -0400 |
|---|---|---|
| committer | jgmdev <jgmdev@gmail.com> | 2022-02-16 05:57:28 -0400 |
| commit | d1d4187eafccc20842cd8aca90c5d57edd6ab2ab (patch) | |
| tree | 72fcb089407c700afc699b283a0e6a7ebe67e67d /.github/workflows | |
| parent | c1d68c445e2189b37040a09de41d895d52c8d641 (diff) | |
| download | lite-xl-plugins-d1d4187eafccc20842cd8aca90c5d57edd6ab2ab.tar.gz lite-xl-plugins-d1d4187eafccc20842cd8aca90c5d57edd6ab2ab.zip | |
language_php: properly set names to the multiple syntax definitions
Diffstat (limited to '.github/workflows')
0 files changed, 0 insertions, 0 deletions