eprover/PyRes

version.py missing

philzook58 opened this issue · 1 comments

philzook58 commented

I think a version.py file has not been added to the git on a recent commit.

schulzs commented

Thanks! Should be there now.