diff tools/flag_data.py @ 656:79e785f0bdad

For issue #38, change IRC bot to use Redis instead of MySQL. Also deleting the bot from this repo as it now has its own repo.
author Brian Neal <bgneal@gmail.com>
date Sat, 11 May 2013 15:22:45 -0500
parents 678a1a2ef55a
children
line wrap: on
line diff