Add a section in the DeveloperGuide for the naming convention of command line...
authorMehdi Amini <aminim@google.com>
Sat, 4 May 2019 01:43:22 +0000 (18:43 -0700)
committerMehdi Amini <joker.eph@gmail.com>
Mon, 6 May 2019 15:27:51 +0000 (08:27 -0700)
commit1a2f2d12164534ac73c767bcca0d773787966b88
tree6870ef6ad7081ccf74ee49bb248e73d56cc47ba5
parent78c13b776e79ac98fdf1e1cf249f58fe34c1c3d0
Add a section in the DeveloperGuide for the naming convention of command line options

--

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