diff options
author | rsiddharth <s@ricketyspace.net> | 2017-02-09 02:43:27 +0000 |
---|---|---|
committer | rsiddharth <s@ricketyspace.net> | 2017-02-09 02:43:27 +0000 |
commit | f7acfb0f4279c78a303a9e6f2c5a38fd5334e0f7 (patch) | |
tree | d724df07a6c41311147b449b4467f04907d30579 /COPYING | |
parent | 4fd774d0ff89f8917edb26803cb3bcace5b1d42d (diff) |
Fix wiki page path string generation `push_wiki_page`.
The argument `version` is an integer; this is now converted to a
string when generating the wiki page path string.
* gd_diff.py (push_wiki_page): Update function.
Diffstat (limited to 'COPYING')
0 files changed, 0 insertions, 0 deletions