mirror/gradio
2
0
Fork 0
mirror of https://github.com/gradio-app/gradio.git synced 2025-01-30 11:00:11 +08:00
Code Issues Packages Projects Releases Wiki Activity

fix (#4635)

Browse Source 
* fix

* changes
This commit is contained in:
pngwn 2023-06-22 11:03:02 +01:00 committed by GitHub
parent 727cf92907
commit 00bd552041
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 7 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
renovate.json
View File

@ -13,5 +13,11 @@
"**/Dockerfile",
"**/website/**"
],
"ignoreDeps": ["lazy-brush", "babylonjs", "babylonjs-loaders"]
"ignoreDeps": [
"lazy-brush",
"babylonjs",
"babylonjs-loaders",
"postcss-load-config",
"postcss-nested"
]
}