summaryrefslogtreecommitdiff
path: root/dev-lang/dafny-bin/metadata.xml
Commit message (Expand)AuthorAgeFilesLines
* Adding metadataroot13 hours1-12/+13
* Adding metadataroot17 hours1-1/+1
* Adding metadataLiguros - Gitlab CI/CD [develop]2023-03-011-3/+3
* Adding metadataLiguros - Gitlab CI/CD [develop]2022-06-301-0/+32