search

stacks / stacks-website

The website for the Stacks project
http://stacks.math.columbia.edu
GNU General Public License v2.0
19 stars 12 forks source link

Use macros also for comments? #68

Closed aisejohan closed 10 years ago

aisejohan commented 10 years ago

Sometimes people copy and paste from the code in the code-tag-view in their comments and then the macros don't get parsed. And sometimes I forget as well.

pbelmans commented 10 years ago

This is actually already in the bug list, see #63.