Skip to content

Commit

Permalink
Merge pull request #50 from pysmt/issue_48/fix_pypi_pkg
Browse files Browse the repository at this point in the history 
Issue 48: Fixing Pypi installation
  • Loading branch information
@mikand
mikand committed Mar 15, 2015
2 parents ed088aa + ad1cc0e commit f72f66f
Show file tree
Hide file tree
Showing 6 changed files with 675 additions and 622 deletions.

0 comments on commit f72f66f

Please sign in to comment.