You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
Jeremy Dubreil 4700f7684c
Revert "[infer] add an option to deactivate the list of previously registered checkers"
6 years ago
..
man1 Revert "[infer] add an option to deactivate the list of previously registered checkers" 6 years ago