Merge branch 'develop' into acid-chicken-patch-10

This commit is contained in:
Acid Chicken (硫酸鶏) 2019-02-04 02:06:46 +09:00 committed by GitHub
commit 353fc18f19
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
6 changed files with 24 additions and 15 deletions

View file

@ -46,6 +46,7 @@
"@types/gulp-util": "3.0.34",
"@types/is-root": "1.0.0",
"@types/is-svg": "3.0.0",
"@types/is-url": "1.2.28",
"@types/js-yaml": "3.12.0",
"@types/jsdom": "12.2.1",
"@types/katex": "0.5.0",