diff options
author | Kristóf Marussy <marussy@mit.bme.hu> | 2021-10-25 23:37:15 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-10-25 23:37:15 +0200 |
commit | 6c005587562979ad539b60a034457be8c92a522d (patch) | |
tree | 9f9e1ece7e0424dc696f7aa7d8040560b1383f94 /.github | |
parent | Merge pull request #6 from OszkarSemerath/main (diff) | |
parent | Test for the case study added. (diff) | |
download | refinery-6c005587562979ad539b60a034457be8c92a522d.tar.gz refinery-6c005587562979ad539b60a034457be8c92a522d.tar.zst refinery-6c005587562979ad539b60a034457be8c92a522d.zip |
Merge pull request #7 from golej-marci/language-to-store
Test for the case study added.
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions