diff options
author | rsiddharth <s@ricketyspace.net> | 2017-02-09 02:46:43 +0000 |
---|---|---|
committer | rsiddharth <s@ricketyspace.net> | 2017-02-09 02:46:43 +0000 |
commit | b98c1f35dce9962068c40cccedb8f8523243f7ac (patch) | |
tree | 2d426ff56378baade96b3ae36f7563514150bb93 /src/wiki-files | |
parent | f7acfb0f4279c78a303a9e6f2c5a38fd5334e0f7 (diff) |
Update `main`
Now calls `make_push` instead of the non-existent `make_cmd`.
* gd_diff.py (main): Update function.
Diffstat (limited to 'src/wiki-files')
0 files changed, 0 insertions, 0 deletions