diff options
| author |  Kristóf Marussy <kristof@marussy.com> | 2022-09-22 22:40:33 +0200 |
|---|---|---|
| committer | Kristóf Marussy <kristof@marussy.com> | 2022-10-03 20:06:52 +0200 |
| commit | db03801ae5eaa67f8c150413f483905184f5bdaa (patch) | |
| tree | de96e12fc7d7f4006949ecaf0af535e3e5f1f59d /settings.gradle | |
| parent | chore(deps): bump dependencies (diff) | |
| download | refinery-db03801ae5eaa67f8c150413f483905184f5bdaa.tar.gz refinery-db03801ae5eaa67f8c150413f483905184f5bdaa.tar.zst refinery-db03801ae5eaa67f8c150413f483905184f5bdaa.zip | |
feat: data structure for assertion merging
Diffstat (limited to 'settings.gradle')
| -rw-r--r-- | settings.gradle | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/settings.gradle b/settings.gradle index cf8c6e2b..36721f4b 100644 --- a/settings.gradle +++ b/settings.gradle | |||
| @@ -4,7 +4,7 @@ include 'frontend' | |||
| 4 | include 'language' | 4 | include 'language' |
| 5 | include 'language-ide' | 5 | include 'language-ide' |
| 6 | include 'language-model' | 6 | include 'language-model' |
| 7 | include 'language-to-store' | 7 | include 'language-semantics' |
| 8 | include 'language-web' | 8 | include 'language-web' |
| 9 | include 'store' | 9 | include 'store' |
| 10 | 10 | ||