diff options
| author | Jefferson González <jgmdev@gmail.com> | 2022-03-29 22:26:50 -0400 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-03-29 22:26:50 -0400 |
| commit | 693bf2cf299054a276f35944fec1b0aa98b7c275 (patch) | |
| tree | 42689bd188372c8addd3447eec01d5fa58604907 /data/plugins/workspace.lua | |
| parent | 7372d2f82d8edde0ef47039262cbe766398af1f3 (diff) | |
| parent | b0c005a5acaf0cd419fa84ce2e0f0065056348a7 (diff) | |
| download | pragtical-693bf2cf299054a276f35944fec1b0aa98b7c275.tar.gz pragtical-693bf2cf299054a276f35944fec1b0aa98b7c275.zip | |
Merge pull request #907 from jgmdev/PR/less-hacky-tokenizer-fix
syntax: remove pattern re-ordering on optimization
Diffstat (limited to 'data/plugins/workspace.lua')
0 files changed, 0 insertions, 0 deletions