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

Fixed open issue involving redundancy in ido #37

Closed
wants to merge 2 commits into from

Conversation

jzaia18
Copy link

@jzaia18 jzaia18 commented Nov 6, 2017

Fixed issue #34 involving a redundancy in ido.

@jzaia18 jzaia18 closed this Oct 19, 2018
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.

1 participant