summaryrefslogtreecommitdiff
path: root/dev-ml/odoc
Commit message (Collapse)AuthorAgeFilesLines
* Publish srcux candidate 0000000350-20260923-001240Crucible33 hours1-2/+2
|
* Adding metadataroot2026-06-125-0/+128
|
* Adding metadataroot2026-06-125-128/+0
|
* Adding metadataroot2026-06-045-0/+128
|
* Adding metadataroot2026-06-045-128/+0
|
* Revert "Adding metadata"root2026-06-045-0/+128
| | | | This reverts commit f716a9fe6455d39eef01e718aae68dae61c19704.
* Adding metadataroot2026-06-045-128/+0
|
* Adding metadataroot2026-05-311-11/+11
|
* Adding metadataroot2026-05-311-1/+1
|
* Adding metadataLiguros - Gitlab CI/CD [develop]2025-08-252-0/+37
|
* Adding metadataLiguros - Gitlab CI/CD [develop]2025-03-183-1/+39
|
* Adding metadataLiguros - Gitlab CI/CD [develop]2024-11-174-96/+0
|
* Adding metadataLiguros - Gitlab CI/CD [develop]2024-10-182-0/+37
|
* Adding metadataLiguros - Gitlab CI/CD [develop]2024-07-132-0/+36
|
* Adding metadataLiguros - Gitlab CI/CD [develop]2023-09-082-0/+30
|
* Adding metadataLiguros - Gitlab CI/CD [develop]2023-03-051-1/+2
|
* Adding metadataLiguros - Gitlab CI/CD [develop]2022-12-213-0/+45