summaryrefslogtreecommitdiff
path: root/dev-lang/boogie/metadata.xml
Commit message (Expand)AuthorAgeFilesLines
* Adding metadataroot15 hours1-11/+12
* Adding metadataroot19 hours1-1/+1
* Adding metadataLiguros - Gitlab CI/CD [develop]2023-04-291-12/+11
* Adding metadataLiguros - Gitlab CI/CD [develop]2023-04-291-11/+12
* Adding metadataLiguros - Gitlab CI/CD [develop]2023-03-011-3/+3
* Adding metadataLiguros - Gitlab CI/CD [develop]2022-10-041-0/+23