Merge branch 'dev' into main

This commit is contained in:
Nuno Coração
2022-12-30 15:28:33 +00:00
committed by GitHub
8 changed files with 177 additions and 11 deletions

View File

@@ -1,11 +1,16 @@
{
"hosting": {
"public": "public",
"ignore": [
"firebase.json",
"**/.*",
"**/node_modules/**"
]
}
"hosting": {
"public": "public",
"ignore": [
"firebase.json",
"**/.*",
"**/node_modules/**"
],
"rewrites": [
{
"source": "**",
"destination": "/index.html"
}
]
}
}