diff options
| author | Mike Pilgrem <mpilgrem@users.noreply.github.com> | 2019-11-13 21:43:03 +0000 |
|---|---|---|
| committer | Mike Pilgrem <mpilgrem@users.noreply.github.com> | 2022-06-12 21:57:19 +0100 |
| commit | 3ab18cf06ae9392eab1349675dab8a177f1412da (patch) | |
| tree | a17da33db62ce591a05c2132c094913b371a41e0 /haddock-api/resources/html/package.json | |
| parent | c5a83df91b97f85d995599c5ae7beacabe2ff040 (diff) | |
Fix #783 Don't show button if --quickjump not present
Diffstat (limited to 'haddock-api/resources/html/package.json')
| -rw-r--r-- | haddock-api/resources/html/package.json | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/haddock-api/resources/html/package.json b/haddock-api/resources/html/package.json index e7967351..224e5ef2 100644 --- a/haddock-api/resources/html/package.json +++ b/haddock-api/resources/html/package.json @@ -22,7 +22,7 @@ }, "devDependencies": { "browserify": "^14.5.0", - "gulp": "^4.0.0", + "gulp": "^4.0.2", "gulp-sourcemaps": "^2.6.4", "gulp-uglify": "^3.0.1", "tsify": "^3.0.4", |