summaryrefslogtreecommitdiff
path: root/app-emacs/lean-mode
Commit message (Expand)AuthorAgeFilesLines
* Adding metadataroot17 hours1-11/+12
* Adding metadataroot21 hours1-1/+1
* Adding metadataLiguros - Gitlab CI/CD [develop]2025-01-031-2/+1
* Adding metadataLiguros - Gitlab CI/CD [develop]2023-06-224-75/+12
* Adding metadataLiguros - Gitlab CI/CD [develop]2023-03-273-3/+0
* Adding metadataLiguros - Gitlab CI/CD [develop]2023-01-313-12/+15
* Adding metadataLiguros - Gitlab CI/CD [develop]2022-06-064-4/+38
* Adding metadataLiguros - Gitlab CI/CD [develop]2022-03-091-4/+0
* Adding metadataLiguros - Gitlab CI/CD [develop]2022-03-022-12/+2
* Adding metadataLiguros - Gitlab CI/CD [develop]2022-01-312-0/+39
* Adding metadataLiguros - Gitlab CI/CD [develop]2022-01-224-0/+64