summaryrefslogtreecommitdiff
path: root/app-emacs/idris-mode/metadata.xml
Commit message (Expand)AuthorAgeFilesLines
* Adding metadataroot2026-06-041-0/+16
* Adding metadataroot2026-06-041-19/+0
* Revert "Adding metadata"root2026-06-041-0/+19
* Adding metadataroot2026-06-041-19/+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-121-0/+19