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

update config (#4634)

Browse Source
This commit is contained in:
pngwn 2023-06-22 10:41:18 +01:00 committed by GitHub
parent 25e021157f
commit 2854915956
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 2 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
renovate.json
View File

@ -12,5 +12,6 @@
"**/requirements.txt", "**/requirements.txt",
"**/Dockerfile", "**/Dockerfile",
"**/website/**" "**/website/**"
] ],
"ignoreDeps": ["lazy-brush", "babylonjs", "babylonjs-loaders"]
} }