diff options
| author | bob <bcz@cs.brown.edu> | 2019-08-01 15:05:38 -0400 |
|---|---|---|
| committer | bob <bcz@cs.brown.edu> | 2019-08-01 15:05:38 -0400 |
| commit | ff5fbd1206a065eabab917def7d83337a0442cab (patch) | |
| tree | 07c2f86558f9255b9e5a69e032287b8d0539dbd5 /.vscode | |
| parent | 49faa4e76f91fed04bb1923d81dd23d57a157a63 (diff) | |
| parent | 6f3d4a7015e15e0523fc194f7f911f6d45259165 (diff) | |
Merge branch 'master' into grouping
Diffstat (limited to '.vscode')
| -rw-r--r-- | .vscode/launch.json | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/.vscode/launch.json b/.vscode/launch.json index 822a06024..e4196600e 100644 --- a/.vscode/launch.json +++ b/.vscode/launch.json @@ -25,10 +25,6 @@ { "type": "chrome", "request": "launch", - "runtimeArgs": [ - "--enable-logging", - "--v=1" - ], "name": "Launch Chrome against Dash server", "sourceMaps": true, "breakOnLoad": true, |