diff options
| author | jgmdev <jgmdev@gmail.com> | 2023-05-23 17:02:57 -0400 |
|---|---|---|
| committer | jgmdev <jgmdev@gmail.com> | 2024-03-05 15:54:14 -0400 |
| commit | c3df927764dbf7ae37a61929b55d9a800309ca74 (patch) | |
| tree | d61e2ad994132e1485ee3120c93a3f2e6dd2a1ea /libraries | |
| parent | 389fe57a9fcd4c9971bb9cebc8dfeb67cac6498a (diff) | |
| download | pragtical-plugin-manager-1.2.2.tar.gz pragtical-plugin-manager-1.2.2.zip | |
Project rebrandingv1.2.2
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 -- |