summaryrefslogtreecommitdiff
path: root/dev-ml/ppx_deriving
Commit message (Expand)AuthorAgeFilesLines
* Adding metadataroot11 hours1-8/+9
* Adding metadataroot16 hours1-1/+1
* Adding metadataLiguros - Gitlab CI/CD [develop]2025-08-262-0/+26
* Adding metadataLiguros - Gitlab CI/CD [develop]2025-07-113-0/+27
* Adding metadataLiguros - Gitlab CI/CD [develop]2025-03-141-2/+2
* Adding metadataLiguros - Gitlab CI/CD [develop]2025-03-101-2/+2
* Adding metadataLiguros - Gitlab CI/CD [develop]2024-10-182-1/+1
* Adding metadataLiguros - Gitlab CI/CD [develop]2024-07-012-0/+26
* Adding metadataLiguros - Gitlab CI/CD [develop]2024-02-151-4/+0
* Adding metadataLiguros - Gitlab CI/CD [develop]2023-12-303-36/+8
* Adding metadataLiguros - Gitlab CI/CD [develop]2023-09-192-6/+4
* Adding metadataLiguros - Gitlab CI/CD [develop]2022-10-191-0/+1
* Adding metadataLiguros - Gitlab CI/CD [develop]2022-08-051-1/+2
* Adding metadataLiguros - Gitlab CI/CD [develop]2021-09-191-1/+1
* Adding metadataLiguros - Gitlab CI/CD [develop]2021-09-181-1/+1
* Adding metadataLiguros - Gitlab CI/CD [develop]2021-07-201-13/+12
* Adding metadataLiguros - Gitlab CI/CD [develop]2021-07-201-14/+13
* Adding metadataLiguros - Gitlab CI/CD [develop]2021-07-132-0/+29
* Adding metadataLiguros - Gitlab CI/CD [develop]2021-03-161-128/+0
* Adding metadataLiguros - Gitlab CI/CD [develop]2021-03-152-30/+0
* Updating liguros repoLiguros - Gitlab CI/CD [develop]2021-02-071-1/+1
* Updating liguros repoLiguros - Gitlab CI/CD [develop]2021-02-061-12/+13
* Updating liguros repoLiguros - Gitlab CI/CD [develop]2021-02-061-1/+0
* Updating liguros repoLiguros - Gitlab CI/CD [develop]2021-01-172-0/+29
* Updating liguros repoLiguros - Gitlab CI/CD [develop]2021-01-162-53/+0
* Updating liguros repoLiguros - Gitlab CI/CD [develop]2021-01-161-0/+4
* Updating liguros repoLiguros - Gitlab CI/CD [develop]2021-01-112-2/+130
* Updating liguros repoLiguros - Gitlab CI/CD [feature/flatten]2020-10-281-1/+1
* Updating liguros repoLiguros - Gitlab CI/CD [feature/flatten]2020-10-241-1/+1
* Updating liguros repoLiguros - Gitlab CI/CD [feature/flatten]2020-10-151-0/+1
* Updating liguros repoLiguros - Gitlab CI/CD [feature/flatten]2020-10-133-1/+33
* Updating liguros repoPalica2020-06-233-0/+62