derAnfaenger bb70c5beed bots: Fix converter bot. ... The converter bot depended on past.utils.old_div, which is not supported anymore. Updating the code to use the // operator, which provides the same functionality.		2017-05-23 20:13:29 -07:00
..
bots	bots: Fix converter bot.	2017-05-23 20:13:29 -07:00
bot_lib.py	Factor out send_reply functionality into bot_lib	2017-05-23 12:40:08 -07:00
run.py	bots: Allow symlinks in bot paths provided to run.py.	2017-05-22 16:52:29 -07:00