summaryrefslogtreecommitdiff
path: root/tools/lint.py
diff options
context:
space:
mode:
authorBartek IwaƄczuk <biwanczuk@gmail.com>2018-09-24 21:33:50 +0200
committerRyan Dahl <ry@tinyclouds.org>2018-09-24 15:33:50 -0400
commit3fe4be07ca19b40a2444b714f5927ff155d66fed (patch)
treeec30d7f4a8f5014917058de8aebf50031bdca796 /tools/lint.py
parent17a7b03d1b86b3519e611aa855f561352075a954 (diff)
Add flag --recompile (#801)
Diffstat (limited to 'tools/lint.py')
0 files changed, 0 insertions, 0 deletions