Closed johnbillion closed 10 years ago
A tiny addition. This allows tags to optionally be prefixed with @. It's fairly common to use @todo as a tag.
@
@todo
A tiny addition. This allows tags to optionally be prefixed with
@
. It's fairly common to use@todo
as a tag.