From db8f42388007dc77fd3a27faa0509d3efa388c51 Mon Sep 17 00:00:00 2001 From: Sergey Rostov Date: Tue, 19 Feb 2019 11:34:02 +0300 Subject: [PATCH] JPS Build, update artifacts: fix js stdlib, remove stdlib-jdk7 and 8 --- .idea/artifacts/dist.xml | 5 +---- 1 file changed, 1 insertion(+), 4 deletions(-) diff --git a/.idea/artifacts/dist.xml b/.idea/artifacts/dist.xml index 287dfd59ee8..c817795f83b 100644 --- a/.idea/artifacts/dist.xml +++ b/.idea/artifacts/dist.xml @@ -8,16 +8,13 @@ - - - - +