diff options
| author |  Kristóf Marussy <kristof@marussy.com> | 2023-08-15 12:35:06 +0200 |
|---|---|---|
| committer | Kristóf Marussy <kristof@marussy.com> | 2023-08-15 16:56:29 +0200 |
| commit | c4757c72887d0d83a51099c9f33d3e027f55a4e6 (patch) | |
| tree | 0cf4a86036be9cca1fd940492001e973d174e4c7 /gradle/wrapper/gradle-wrapper.properties | |
| parent | fix: concrete supertype translation (diff) | |
| download | refinery-c4757c72887d0d83a51099c9f33d3e027f55a4e6.tar.gz refinery-c4757c72887d0d83a51099c9f33d3e027f55a4e6.tar.zst refinery-c4757c72887d0d83a51099c9f33d3e027f55a4e6.zip | |
refactor(language): invalid multiplicity trace
Also simplifies attributes and flags for now, as we don't translate them to
abstractions.
Diffstat (limited to 'gradle/wrapper/gradle-wrapper.properties')
0 files changed, 0 insertions, 0 deletions