Lint: Add --report-file argument

Fork: 0

johnpearcey / dub_jkp

Browse code Lint: Add --report-file argument master
1 parent 2247118 commit 5430dbaffed892a0c0e15011065da95096855421 Andre Pany authored on 20 Apr 2020

Patch

Unified Split

Showing 3 changed files

Ignore Space Show notes View changelog/lintReportFile.dd 0 → 100644

Ignore Space Show notes View source/dub/commandline.d

Ignore Space Show notes View test/issue1773-lint.sh

Show line notes below