diff options
author | 2021-12-13 02:07:04 +0100 | |
---|---|---|
committer | 2021-12-14 02:14:23 +0100 | |
commit | a96c52b21e7e590bbdd70b80896780a446fa2e8b (patch) | |
tree | 663619baa254577bb2f5342192e80bca692ad91d /settings.gradle | |
parent | build: move modules into subproject directory (diff) | |
download | refinery-a96c52b21e7e590bbdd70b80896780a446fa2e8b.tar.gz refinery-a96c52b21e7e590bbdd70b80896780a446fa2e8b.tar.zst refinery-a96c52b21e7e590bbdd70b80896780a446fa2e8b.zip |
build: separate module for frontend
This allows us to simplify the webpack configuration and the gradle
build scripts.
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 b1e298ca..626ae401 100644 --- a/settings.gradle +++ b/settings.gradle | |||
@@ -1,5 +1,6 @@ | |||
1 | rootProject.name = 'refinery' | 1 | rootProject.name = 'refinery' |
2 | 2 | ||
3 | include 'frontend' | ||
3 | include 'language' | 4 | include 'language' |
4 | include 'language-ide' | 5 | include 'language-ide' |
5 | include 'language-model' | 6 | include 'language-model' |