New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Pydot compatibility fix for both old and new API. #186

Merged

jdreier merged 1 commit into tamarin-prover:develop from samscott89:pydot_fix

Sep 2, 2016

Contributor

samscott89 commented Sep 2, 2016

Updated fix as per @cascremers #185 (comment).


          Pydot compatability fix for both old and new API.

e8e6d64

Member

jdreier commented Sep 2, 2016

Ok, "quick hack" accepted :-)

jdreier merged commit 5b897d9 into tamarin-prover:develop

samscott89 changed the title ~~Pydot compatability fix for both old and new API.~~ Pydot compatibility fix for both old and new API.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet