Grasscutter
/
Grasscutter
mirror of https://github.com/Grasscutters/Grasscutter.git
0
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Don't lint src/generated

This commit is contained in:
AnimeGitB 2022-08-21 21:02:44 +09:30
parent 3fca950050
commit a746d11b6f
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
format_whitespace.py
View File

@ -53,7 +53,7 @@ def format_file(filename: str) -> bool:
def main():
filelist = [f for f in get_changed_filelist() if f.endswith('.java')]
filelist = [f for f in get_changed_filelist() if f.endswith('.java') and not f.startswith('src/generated')]
replaced = 0
not_found = 0
if not filelist: