summaryrefslogtreecommitdiff
path: root/dev-lang/dafny/metadata.xml
Commit message (Expand)AuthorAgeFilesLines
* Adding metadataroot17 hours1-13/+14
* Adding metadataroot21 hours1-1/+1
* Adding metadataLiguros - Gitlab CI/CD [develop]2023-09-181-0/+33