diff options
author | Michael Muré <batolettre@gmail.com> | 2020-09-30 17:54:48 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-09-30 17:54:48 +0200 |
commit | fe66092c46d04c671c224c239a3d88a6e83b833f (patch) | |
tree | 00944f334894303148980faf4a2d85723922aad3 /webui/tsconfig.json | |
parent | db20bc34e5cd696842f459b1d0b8b6aa6457d739 (diff) | |
parent | f4433d80c4fe6ad1ddf00bd8bcda99c15dc38450 (diff) | |
download | git-bug-fe66092c46d04c671c224c239a3d88a6e83b833f.tar.gz |
Merge pull request #459 from MichaelMure/webui/upgrade-deps
webui: dependencies upgrades
Diffstat (limited to 'webui/tsconfig.json')
-rw-r--r-- | webui/tsconfig.json | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/webui/tsconfig.json b/webui/tsconfig.json index 4e83eef3..8e993863 100644 --- a/webui/tsconfig.json +++ b/webui/tsconfig.json @@ -22,7 +22,8 @@ "node_modules/@types/", "types/" ], - "baseUrl": "." + "baseUrl": ".", + "noFallthroughCasesInSwitch": true }, "include": [ "src" |