1
0
mirror of https://github.com/godotengine/godot.git synced 2025-11-05 12:10:55 +00:00

doc: Drop unused <demos> tag

(cherry picked from commit 6af69f851a)
This commit is contained in:
Rémi Verschelde
2019-04-19 11:03:46 +02:00
parent aa0d4ffe51
commit 53d73f59eb
618 changed files with 2 additions and 1241 deletions

View File

@@ -261,7 +261,7 @@ class ClassStatus:
for sub_tag in list(tag):
status.progresses[tag.tag].increment(len(sub_tag.text.strip()) > 0)
elif tag.tag in ['tutorials', 'demos']:
elif tag.tag in ['tutorials']:
pass # Ignore those tags for now
elif tag.tag in ['theme_items']: