wassname/DefinitelyTyped
1
0
Fork 0
mirror of https://github.com/wassname/DefinitelyTyped.git synced 2026-09-09 11:13:57 +08:00
Code Issues Packages Projects Releases Wiki Activity

Merge pull request #8124 from rotozoom/master

Browse Source 
Fixed bug with CoverageOptions
This commit is contained in:
Masahiro Wakame
2016-02-17 21:32:15 +09:00
parent fe2057bd42 3b63baa748
commit 12b8a28146
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
gulp-istanbul/gulp-istanbul.d.ts
Vendored
+1 -1
View File
@@ -49,7 +49,7 @@ declare module "gulp-istanbul" {
interface ThresholdOptions {
coverageVariable?: string;
thresholds?: { global?: Coverage|number; each?: Coverage|number };
thresholds?: { global?: CoverageOptions|number; each?: CoverageOptions|number };
}
interface CoverageOptions {