Merge pull request #1942 from MartinNowak/merge_stable
merge stable
commit 569c3c62c3ffc306f3f8331198d507bb1e5a1068
2 parents 0bf3573 + d04dbc4
@Mathias LANG Mathias LANG authored on 14 May 2020
GitHub committed on 14 May 2020
Showing 3 changed files
View
changelog/ignoreHiddenDirectories.dd 100644 → 0
View
changelog/lintReportFile.dd 100644 → 0
View
source/dub/version_.d