diff options
| author | Fabio Alessandrelli <fabio.alessandrelli@gmail.com> | 2022-05-10 23:56:32 +0200 |
|---|---|---|
| committer | Fabio Alessandrelli <fabio.alessandrelli@gmail.com> | 2022-05-10 23:56:32 +0200 |
| commit | 39d9a5540c770242388d02397da4f6a00b09ccbc (patch) | |
| tree | aa8425a116381fef905a45bec776acd5ee35dbf6 /.github | |
| parent | e8110474b61d18de1c9e8e4e574d24c1c49a5ecf (diff) | |
[HTML5] Fix JS "tools" editor plugin.
Needed update after file/dir access refactoring.
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions