0ct0pu5/wesnoth
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Fix default directory after moving the file.

Browse source
This commit is contained in:
Mark de Wever 2008-04-23 19:48:12 +00:00
parent 87db404aea
commit a34996108b
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

@ -30,7 +30,7 @@ if __name__ == "__main__":
output_directory = "/tmp/"
# default directory to find the source files in, no trailing /.
src_directory = "../../src/gui"
src_directory = "../src/gui"
def reindent( data):
"""Converts the raw input to an easier to use format.