search

sympy / sympy-bot

GitHub bot for SymPy
https://github.com/sympy-bot
Other
22 stars 11 forks source link

Fixes for added/deleted #80

Closed asmeurer closed 4 years ago

asmeurer commented 4 years ago
asmeurer commented 4 years ago

Forgot this needs to be pushed up to the repo, not my fork.