Skip to content
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.

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

Better function naming. #332

Merged
merged 1 commit into from
Oct 12, 2018
Merged

Better function naming. #332

merged 1 commit into from
Oct 12, 2018

Conversation

jeffallen
Copy link
Contributor

No description provided.

@jeffallen jeffallen self-assigned this Oct 11, 2018
@jeffallen jeffallen added this to WIP in Cothority via automation Oct 11, 2018
@jeffallen jeffallen moved this from WIP to Ready4Merge in Cothority Oct 11, 2018
@ineiti ineiti merged commit d30a878 into master Oct 12, 2018
Cothority automation moved this from Ready4Merge to Closed Oct 12, 2018
@ineiti ineiti deleted the poly branch October 12, 2018 06:24
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
Cothority
  
Closed
Development

Successfully merging this pull request may close these issues.

None yet

2 participants