diff options
m--------- | eclipse.platform.ua | 0 | ||||
-rw-r--r-- | platform-3.8 | 1 |
2 files changed, 1 insertions, 0 deletions
diff --git a/eclipse.platform.ua b/eclipse.platform.ua -Subproject 459732b0d4f1e3ffff97b0f7c4970ee092b7e40 +Subproject 8a5b1a38311bbccea25015cdc1480536f82156d diff --git a/platform-3.8 b/platform-3.8 new file mode 100644 index 000000000..f74f2cd72 --- /dev/null +++ b/platform-3.8 @@ -0,0 +1 @@ +This file needs to exist to allow maven to pick the correct build profile for platform 3.8 or 4.2. |