summaryrefslogtreecommitdiff
path: root/app-emacs/company-coq
Commit message (Expand)AuthorAgeFilesLines
* Adding metadataroot11 hours1-11/+12
* Adding metadataroot15 hours1-1/+1
* Adding metadataLiguros - Gitlab CI/CD [develop]2023-08-112-47/+0
* Adding metadataLiguros - Gitlab CI/CD [develop]2023-04-291-12/+11
* Adding metadataLiguros - Gitlab CI/CD [develop]2023-04-291-11/+12
* Adding metadataLiguros - Gitlab CI/CD [develop]2023-03-192-4/+4
* Adding metadataLiguros - Gitlab CI/CD [develop]2023-01-312-8/+8
* Adding metadataLiguros - Gitlab CI/CD [develop]2022-08-312-0/+47
* Adding metadataLiguros - Gitlab CI/CD [develop]2022-03-091-4/+0
* Adding metadataLiguros - Gitlab CI/CD [develop]2022-03-072-2/+8
* Adding metadataLiguros - Gitlab CI/CD [develop]2022-03-065-0/+82