Closed jbruck closed 7 years ago
Renamed the comment snippets and added the addition, deletion, highlight and substitution snippets. The syntax is already supported by package but there existed no convenient way to use them.
fail wrong button, sorry
jbruck
commented
8 years ago
Renamed the comment snippets and added the addition, deletion, highlight and substitution snippets. The syntax is already supported by package but there existed no convenient way to use them.