Skip to content
Snippets Groups Projects
Commit 6d356d9f authored by Ralf Jung's avatar Ralf Jung
Browse files

add simuliris to iris-bot

parent c2fd00b4
No related branches found
No related tags found
No related merge requests found
......@@ -32,6 +32,7 @@ PROJECTS = {
'spygame': { 'name': 'spygame', 'branch': 'master' },
'time-credits': { 'name': 'time-credits', 'branch': 'master' },
'actris': { 'name': 'actris', 'branch': 'master' },
'simuliris': { 'name': 'simuliris', 'branch': 'master' },
'tutorial-popl20': { 'name': 'tutorial-popl20', 'branch': 'master' },
'tutorial-popl21': { 'name': 'tutorial-popl21', 'branch': 'master' },
}
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment