Minor fixes (formatting/typos) to the DeveloperGuide
authorMehdi Amini <aminim@google.com>
Sat, 4 May 2019 04:38:39 +0000 (21:38 -0700)
committerMehdi Amini <joker.eph@gmail.com>
Mon, 6 May 2019 15:28:30 +0000 (08:28 -0700)
commitcad369b667c44a32760ab867edfe335fede2fbf7
tree6703c4bbf1c237fe4f5385da75462bd56ae674d3
parent2fe8ae4f6cab83b753fded814a0992b0cddf1609
Minor fixes (formatting/typos) to the DeveloperGuide

--

PiperOrigin-RevId: 246621047
mlir/g3doc/DeveloperGuide.md