Create CertifiedRascal.yaml

This commit is contained in:
CertifiedRascal 2021-03-26 19:03:06 -05:00 committed by GitHub
parent 9884a93ab1
commit 1cd69d8095
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 2 additions and 0 deletions

View File

@ -0,0 +1,2 @@
name: CertifiedRascal
link: https://github.com/CertifiedRascal