robertylewis / smtlib2polya

GNU General Public License v3.0
2 stars 2 forks source link

ignore .pyc files to avoid merge conflicts #2

Closed gmalecha closed 8 years ago

gmalecha commented 8 years ago

This pull request removes pyc files from the project so that they do not produce conflicts when merging.

robertylewis commented 8 years ago

Thanks!