Project

General

Profile

« Previous | Next » 

Revision 7489

redmine_synonyms: Use the term's type label instead of its header level to determine if it's a synonym or alternative. This allows header levels to be chosen for presentational reasons rather than being constrained by being parsable.

  • added
  • modified
  • copied
  • renamed
  • deleted