Skip to content
This repository has been archived by the owner on Dec 11, 2020. It is now read-only.

Add type hint #446

Merged
merged 1 commit into from
Oct 28, 2014
Merged

Add type hint #446

merged 1 commit into from
Oct 28, 2014

Conversation

JeroenDeDauw
Copy link
Contributor

No description provided.

fzaninotto added a commit that referenced this pull request Oct 28, 2014
@fzaninotto fzaninotto merged commit 666a3f6 into fzaninotto:master Oct 28, 2014
@fzaninotto
Copy link
Owner

Thanks!

@JeroenDeDauw JeroenDeDauw deleted the th branch October 28, 2014 11:38
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants