diff options
| author | jgmdev <jgmdev@gmail.com> | 2023-05-23 17:02:57 -0400 |
|---|---|---|
| committer | jgmdev <jgmdev@gmail.com> | 2024-03-13 15:04:16 -0400 |
| commit | 1b804dca9db26013d1522a27b24fdb58c6e14b75 (patch) | |
| tree | 61cf31b7df179b20cda18d9eee04952bcde6e88a /libraries | |
| parent | f677376167b401b2c8f9154ac30fcd21b8aff238 (diff) | |
| download | pragtical-plugin-manager-1.2.4.tar.gz pragtical-plugin-manager-1.2.4.zip | |
Diffstat (limited to 'libraries')
| -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 -- |