Merge pull request #2411 from rolfbjarne/parse-debug-optionsapi-doc
authorJoão Matos <joao@tritao.eu>
Fri, 8 Jan 2016 18:00:49 +0000 (18:00 +0000)
committerJoão Matos <joao@tritao.eu>
Fri, 8 Jan 2016 18:00:49 +0000 (18:00 +0000)
Document mini_parse_debug_option


Trivial merge