summaryrefslogtreecommitdiff
path: root/dev-ml/ppx_tools/Manifest
Commit message (Expand)AuthorAgeFilesLines
* Adding metadataLiguros - Gitlab CI/CD [develop]2025-10-071-4/+0
* Adding metadataLiguros - Gitlab CI/CD [develop]2023-01-291-0/+1
* Adding metadataLiguros - Gitlab CI/CD [develop]2022-04-041-0/+1
* Adding metadataLiguros - Gitlab CI/CD [develop]2021-10-061-0/+1
* Adding metadataLiguros - Gitlab CI/CD [develop]2021-06-101-0/+1
* Updating liguros repoLiguros - Gitlab CI/CD [develop]2020-12-021-3/+0
* Updating liguros repoLiguros - Gitlab CI/CD [feature/flatten]2020-10-131-0/+1
* Updating liguros repoPalica2020-06-231-0/+3