Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / alhassy/org-agda-mode issues and pull requests
#6 - [installation] Straight and use-package instructions added.
Pull Request -
State: closed - Opened by jeslie0 about 3 years ago
- 1 comment
#5 - add minimal installation instructions
Issue -
State: closed - Opened by lclem over 4 years ago
- 2 comments
#4 - Compare & Contrast :: Other Possible Routes
Issue -
State: open - Opened by alhassy over 4 years ago
#3 - Changes
Pull Request -
State: closed - Opened by alexarice over 4 years ago
- 1 comment
#2 - Use require instead of use-package
Pull Request -
State: closed - Opened by alexarice over 4 years ago
#1 - Switch the code block ends in place, rather than copying the whole buffer into a string
Pull Request -
State: closed - Opened by armkeh over 5 years ago