equal
deleted
inserted
replaced
116 TOPIC_CATEGORY_IDS: 'Mercurial identifiers', |
116 TOPIC_CATEGORY_IDS: 'Mercurial identifiers', |
117 TOPIC_CATEGORY_OUTPUT: 'Mercurial output', |
117 TOPIC_CATEGORY_OUTPUT: 'Mercurial output', |
118 TOPIC_CATEGORY_CONFIG: 'Mercurial configuration', |
118 TOPIC_CATEGORY_CONFIG: 'Mercurial configuration', |
119 TOPIC_CATEGORY_CONCEPTS: 'Concepts', |
119 TOPIC_CATEGORY_CONCEPTS: 'Concepts', |
120 TOPIC_CATEGORY_MISC: 'Miscellaneous', |
120 TOPIC_CATEGORY_MISC: 'Miscellaneous', |
121 TOPIC_CATEGORY_NONE: 'Uncategorized topics', |
|
122 TOPIC_CATEGORY_NONE: 'Uncategorized topics', |
121 TOPIC_CATEGORY_NONE: 'Uncategorized topics', |
123 } |
122 } |
124 |
123 |
125 def listexts(header, exts, indent=1, showdeprecated=False): |
124 def listexts(header, exts, indent=1, showdeprecated=False): |
126 '''return a text listing of the given extensions''' |
125 '''return a text listing of the given extensions''' |