summaryrefslogtreecommitdiff
path: root/app-emacs/idris-mode
Commit message (Expand)AuthorAgeFilesLines
* Publish srcux candidate 0000000350-20260923-001240Crucible18 hours1-2/+2
* Adding metadataroot2026-06-045-0/+76
* Adding metadataroot2026-06-045-79/+0
* Revert "Adding metadata"root2026-06-045-0/+79
* Adding metadataroot2026-06-045-79/+0
* Adding metadataroot2026-05-311-6/+8
* Adding metadataroot2026-05-311-1/+1
* Adding metadataLiguros - Gitlab CI/CD [develop]2022-05-021-8/+6
* Adding metadataLiguros - Gitlab CI/CD [develop]2022-05-021-6/+8
* Adding metadataLiguros - Gitlab CI/CD [develop]2022-04-191-8/+6
* Adding metadataLiguros - Gitlab CI/CD [develop]2022-04-125-0/+79