Remove "." in bullet list - Githubissues

PatrickMassot / leanblueprint

plasTeX plugin to build formalization blueprints.

Apache License 2.0

158 stars 25 forks source link

Remove "." in bullet list #20

Closed pitmonticone closed 3 months ago