Diffusion tool-texbot 58d8fc0b3718

Merge branch 'master' of ssh://git-ssh.wikimedia.org/diffusion/TTEX/tool-texbot
58d8fc0b3718Unpublished
Actions

Tags

None

Subscribers

None

Unpublished Commit · Learn More

Publishing Disabled: All publishing is disabled for this repository.

Description

Merge branch 'master' of ssh://git-ssh.wikimedia.org/diffusion/TTEX/tool-texbot

Conflicts:
mathwikibot.py

Details

Provenance

Authored on Jul 11 2018, 10:14 PM

Parents

rTTEX5d72104b286a: attempt to set botflag
rTTEX370d56a641de: Allow a different input file name to be specified on the command line.

Branches

Unknown

Tags

Unknown

ChangeId

None

Event Timeline

Debenben committed rTTEX58d8fc0b3718: Merge branch 'master' of ssh://git-ssh.wikimedia.org/diffusion/TTEX/tool-texbot (authored by Debenben).Jul 11 2018, 10:14 PM

Changes (1)

Path

Size

rTTEX58d8fc0b3718

texbot2.py

Loading...