style md add section on bullets#2235

Alizter wants to merge 1 commit intoHoTT:masterHoTT/Coq-HoTT:masterfrom

Alizter:ps/rr/style_md__add_section_on_bulletsAlizter/HoTT:ps/rr/style_md__add_section_on_bulletsCopy head branch name to clipboard