upstream/wesnoth
1
0
Fork 0
mirror of https://github.com/wesnoth/wesnoth synced 2025-05-19 09:33:24 +00:00
Code Issues Packages Projects Releases Wiki Activity

Wiki comment can also be in header files.

Browse Source 
This is somewhat uncommon, but there are some private headers with comment.
This commit is contained in:
Mark de Wever 2009-03-08 10:24:50 +00:00
parent 794c180703
commit 577976fbf5
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
utils/wiki_grabber.py
View File

@ -393,7 +393,7 @@ if __name__ == "__main__":
if(os.path.isdir(dir + "/" + item)):
process_directory(dir + "/" + item)
elif(item.endswith(".cpp")):
elif(item.endswith(".cpp") or item.endswith(".hpp")):
process_file(dir + "/" + item)