diff options
| author | renovate[bot] <29139614+renovate[bot]@users.noreply.github.com> | 2024-02-21 18:55:40 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-02-21 18:55:40 +0000 |
| commit | 64cf7e378c762e302673888c136670993a327181 (patch) | |
| tree | 0628f7c306807fb7d52d6ed20eb0c152d63c9b6d /docprocs | |
| parent | e331dd862fb39dd93a9e2abf6d4fb7b3ddbde4a0 (diff) | |
Update plugin org.jetbrains.grammarkit to v2022.3.2.2
Diffstat (limited to 'docprocs')
0 files changed, 0 insertions, 0 deletions