aboutsummaryrefslogtreecommitdiff
path: root/tslint.json
diff options
context:
space:
mode:
authorbob <bcz@cs.brown.edu>2019-04-16 12:46:06 -0400
committerbob <bcz@cs.brown.edu>2019-04-16 12:46:06 -0400
commita4122573367ef36a9725e09b8447f3edfaa5c6a1 (patch)
tree76fec7e0f5f964efc0af0957681d63fde309e5cc /tslint.json
parentc6360fb4aed348f6f6a3c7412b6acc0d1990c239 (diff)
parentfeae8f4d314ef389cc544fd3ad0792a6bb04832c (diff)
Merge branch 'master' into presentation_view
Diffstat (limited to 'tslint.json')
-rw-r--r--tslint.json3
1 files changed, 2 insertions, 1 deletions
diff --git a/tslint.json b/tslint.json
index aa4dee4e5..76d28b375 100644
--- a/tslint.json
+++ b/tslint.json
@@ -52,5 +52,6 @@
// }
// ],
// "ordered-imports": true
- }
+ },
+ "defaultSeverity": "warning"
} \ No newline at end of file