Update lint messages with markdown delimiters (part 1)
commit81b2940a21f69dfca5dfeb7b08b1e178d7c5b584
authorMichael Christensen <michristensen@fb.com>
Wed, 9 Sep 2020 00:37:25 +0000 (8 17:37 -0700)
committerFacebook GitHub Bot <facebook-github-bot@users.noreply.github.com>
Wed, 9 Sep 2020 00:40:28 +0000 (8 17:40 -0700)
treee806d0fb0da62bb7898ac70515be926b907afbf5
parent4c7f2f66e14cdd3eb61b5fd4d5b9f37d7cad2b57
Update lint messages with markdown delimiters (part 1)

Summary: Updates the lint messages in several of the main lint files.

Reviewed By: Wilfred

Differential Revision: D23497428

fbshipit-source-id: fa504c55e37fea0f0daae0efb56220f0e0e80022
hphp/hack/src/utils/lint/lint.ml
hphp/hack/src/utils/lint/lint.rs