Leonardo de Moura 398af80584 feat(shell/leandoc): add support for "brief" description ... This feature is similar to the one available in doxygen.		2016-11-27 21:42:05 -08:00
..
lean	feat(shell/leandoc): add support for "brief" description	2016-11-27 21:42:05 -08:00