1
0
mirror of https://github.com/godotengine/godot.git synced 2025-11-08 12:40:44 +00:00

doc: Drop unused <demos> tag

This commit is contained in:
Rémi Verschelde
2019-04-19 11:03:46 +02:00
parent 1b3ea697c5
commit 6af69f851a
646 changed files with 2 additions and 1297 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']: