diff options
| author | Robert Smieja <robertsmieja@users.noreply.github.com> | 2022-10-15 04:19:16 -0400 |
|---|---|---|
| committer | AUTOMATIC1111 <16777216c@gmail.com> | 2022-10-15 16:26:07 +0300 |
| commit | d3ffc962dd1d5c8d0ed763a9d05832c153ff15ea (patch) | |
| tree | 5df8ab76bb13c54b1c4c393a7a7fe5e6c9f1968c /javascript/ui.js | |
| parent | eef3bc649069d6caaef1274f132de28e528bfa7d (diff) | |
Add basic Pylint to catch syntax errors on PRs
Diffstat (limited to 'javascript/ui.js')
0 files changed, 0 insertions, 0 deletions