external
/
citus
mirror of https://github.com/citusdata/citus.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

fix script style

pull/7326/head
Nils Dijk 2023-11-07 12:08:20 +00:00
parent 5bef7662eb
commit 59eb067bb0
No known key found for this signature in database
GPG Key ID: CA1177EF9434F241
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
ci/include-grouping.py
View File

@ -144,4 +144,4 @@ def print_sorted_includes(includes, file=sys.stdout):
prev = include prev = include
if __name__ == '__main__': if __name__ == '__main__':
main(sys.argv) main(sys.argv)