diff options
| author | jgmdev <jgmdev@gmail.com> | 2023-05-23 17:02:57 -0400 |
|---|---|---|
| committer | jgmdev <jgmdev@gmail.com> | 2024-02-26 19:16:45 -0400 |
| commit | b529d92c02dc589e07ef26b736ff0e0f2a8c8fc7 (patch) | |
| tree | a663d06ff5a4794136b31b2f77ec7221f82b0ba8 /libraries/json.lua | |
| parent | 45d1d50d558c86ba4f9760c3a04382585d724107 (diff) | |
| download | pragtical-plugin-manager-ls.tar.gz pragtical-plugin-manager-ls.zip | |
Diffstat (limited to 'libraries/json.lua')
| -rw-r--r-- | libraries/json.lua | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/libraries/json.lua b/libraries/json.lua index c463440..805550b 100644 --- a/libraries/json.lua +++ b/libraries/json.lua @@ -1,4 +1,4 @@ --- mod-version:3 --lite-xl 2.1 +-- mod-version:3 --pragtical 2.1 -- -- json.lua -- |