mirror of
https://github.com/mozilla/gecko-dev.git
synced 2024-10-09 03:15:11 +00:00
Bug 1731542 - Remove infer from the list of code quality tools r=andi DONTBUILD
Differential Revision: https://phabricator.services.mozilla.com/D127634
This commit is contained in:
parent
471e7e728c
commit
e28b9db1e6
@ -137,21 +137,6 @@ In this document, we try to list these all tools.
|
||||
- :ref:`clippy`
|
||||
- https://github.com/rust-lang/rust-clippy
|
||||
|
||||
.. list-table:: Java
|
||||
:widths: 20 20 20 20 20
|
||||
:header-rows: 1
|
||||
|
||||
* - Tools
|
||||
- Has autofixes
|
||||
- Meta bug
|
||||
- More info
|
||||
- Upstream
|
||||
* - Infer
|
||||
-
|
||||
- `bug 1175203 <https://bugzilla.mozilla.org/show_bug.cgi?id=1175203>`__
|
||||
-
|
||||
- https://github.com/facebook/infer
|
||||
|
||||
.. list-table:: Others
|
||||
:widths: 20 20 20 20 20
|
||||
:header-rows: 1
|
||||
|
Loading…
Reference in New Issue
Block a user