diff options
author | 2022-09-26 00:39:23 +0200 | |
---|---|---|
committer | 2022-10-03 20:06:52 +0200 | |
commit | aac386f0d8c4e4585026b11bfeca20f378f7f261 (patch) | |
tree | cad56fc2c88a1abd56258d64b5ce3a16baaff011 /settings.gradle | |
parent | chore: fix some warnings (diff) | |
download | refinery-aac386f0d8c4e4585026b11bfeca20f378f7f261.tar.gz refinery-aac386f0d8c4e4585026b11bfeca20f378f7f261.tar.zst refinery-aac386f0d8c4e4585026b11bfeca20f378f7f261.zip |
refactor: move viatra into a separate subproject
Diffstat (limited to 'settings.gradle')
-rw-r--r-- | settings.gradle | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/settings.gradle b/settings.gradle index 36721f4b..3149380d 100644 --- a/settings.gradle +++ b/settings.gradle | |||
@@ -7,6 +7,7 @@ include 'language-model' | |||
7 | include 'language-semantics' | 7 | include 'language-semantics' |
8 | include 'language-web' | 8 | include 'language-web' |
9 | include 'store' | 9 | include 'store' |
10 | include 'store-query-viatra' | ||
10 | 11 | ||
11 | for (project in rootProject.children) { | 12 | for (project in rootProject.children) { |
12 | def projectName = project.name | 13 | def projectName = project.name |