##// END OF EJS Templates
help: remove a duplicate category name entry for TOPIC_CATEGORY_NONE
Matt Harbison -
r41104:9afe128f default
parent child Browse files
Show More
@@ -119,7 +119,6 b' TOPIC_CATEGORY_NAMES = {'
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',
121 TOPIC_CATEGORY_NONE: 'Uncategorized topics',
122 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):
General Comments 0
You need to be logged in to leave comments. Login now