Ecosyste.ms: Issues

An open API service for providing issue and pull request metadata for open source projects.

GitHub / skyskimmer/hottclasses issues and pull requests

#6 - Fix travis

Pull Request - State: closed - Opened by SkySkimmer almost 6 years ago

#5 - Update to the latest version of HoTT

Pull Request - State: closed - Opened by co-dan over 7 years ago - 2 comments

#4 - Populate .gitignore

Pull Request - State: closed - Opened by abooij over 7 years ago

#3 - Integrate into HoTT/HoTT

Issue - State: closed - Opened by spitters over 7 years ago - 2 comments

#2 - Build error

Issue - State: closed - Opened by abooij over 7 years ago - 5 comments