search

sympy / sympy-bot-old

SymPy pull request helper
http://reviews.sympy.org/
Other
24 stars 16 forks source link

Removed old unused code #118

Closed MichaelMayorov closed 12 years ago

MichaelMayorov commented 12 years ago

Original issue https://github.com/sympy/sympy-bot/issues/117

I pushed these changes on http://repos.sympy.org seems working.

MichaelMayorov commented 12 years ago

@asmeurer @certik could you review these changes?

certik commented 12 years ago

I think that this looks good. Thanks!