Merge pull request #1929 from andre2007/reportfile

Fork: 0

johnpearcey / dub_jkp

Browse code Merge pull request #1929 from andre2007/reportfile Lint: Add --report-file argument merged-on-behalf-of: Petar Kirov <PetarKirov@users.noreply.github.com> master
commit 5da871346a66bbb49a677d0adca8af7e4e4e5ad0 2 parents 2247118 + 5430dba The Dlang Bot authored on 22 Apr 2020 GitHub committed on 22 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