Remove align comments from naming.md#799

eric-wieser merged 1 commit into

leanprover-community:lean4leanprover-community/leanprover-community.github.io:lean4from

Timeroot:patch-2Timeroot/leanprover-community.github.io:patch-2Copy head branch name to clipboard